skip to content
Computer science logic : 17th International Workshop ; proceedings Preview this item
ClosePreview this item
Checking...

Computer science logic : 17th International Workshop ; proceedings

Author: Matthias Baaz; Johann M Makowsky; European Association for Computer Science Logic; International Workshop CSL; Kurt Gödel Colloquium
Publisher: Berlin [u.a.] Springer 2003
Series: Lecture notes in computer science, 2803
Edition/Format:   Computer file : English
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Matthias Baaz; Johann M Makowsky; European Association for Computer Science Logic; International Workshop CSL; Kurt Gödel Colloquium
ISBN: 3540408010 9783540408017
OCLC Number: 834395748
Description: Online-Ressource (XII, 590 S.) graph. Darst.
Series Title: Lecture notes in computer science, 2803
Responsibility: CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25 - 30, 2003. Matthias Baaz ... (eds.)
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/834395748> # Computer science logic : 17th International Workshop ; proceedings
    a schema:CreativeWork, bgn:ComputerFile ;
   library:oclcnum "834395748" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1217586086#Place/berlin_u_a> ; # Berlin u.a.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1217586086#Topic/logic_design> ; # Logic design
   schema:about <http://experiment.worldcat.org/entity/work/data/1217586086#Topic/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/1217586086#Topic/computer_science> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/1217586086#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1217586086#Meeting/eacsl_12_2003_08_25_30_vienna> ; # EACSL (12 2003.08.25-30 Vienna)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1217586086#Meeting/csl_2003_17_2003_08_25_30_vienna> ; # CSL 2003 (17 2003.08.25-30 Vienna)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1217586086#Organization/european_association_for_computer_science_logic> ; # European Association for Computer Science Logic
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1217586086#Meeting/kgc_2003_8_2003_08_25_30_vienna> ; # KGC 2003 (8 2003.08.25-30 Vienna)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1217586086#Meeting/international_workshop_on_computer_science_logic_17_2003_08_25_30_vienna> ; # International Workshop on Computer Science Logic (17 2003.08.25-30 Vienna)
   schema:contributor <http://viaf.org/viaf/33145857804423021125> ; # Kurt Gödel Colloquium
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1217586086#Meeting/kurt_godel_colloquium_8_2003_08_25_30_vienna> ; # Kurt Gödel Colloquium (8 2003.08.25-30 Vienna)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1217586086#Meeting/annual_conference_of_the_european_assosiation_for_computer_science_logic_12_2003_08_25_30_vienna> ; # Annual Conference of the European Assosiation for Computer Science Logic (12 2003.08.25-30 Vienna)
   schema:contributor <http://viaf.org/viaf/219373337> ; # International Workshop CSL
   schema:datePublished "2003" ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/1217586086#Person/baaz_matthias> ; # Matthias Baaz
   schema:editor <http://experiment.worldcat.org/entity/work/data/1217586086#Person/makowsky_johann_m> ; # Johann M. Makowsky
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1217586086> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1217586086#Series/> ; #
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1217586086#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science
   schema:name "Computer science logic : 17th International Workshop ; proceedings" ;
   schema:productID "834395748" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/834395748#PublicationEvent/berlin_u_a_springer2003> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1217586086#Agent/springer> ; # Springer
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=2803> ;
   schema:url <http://dx.doi.org/10.1007/b13224> ;
   schema:workExample <http://dx.doi.org/10.1007/b13224> ;
   schema:workExample <http://worldcat.org/isbn/9783540408017> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/834395748> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1217586086#Meeting/annual_conference_of_the_european_assosiation_for_computer_science_logic_12_2003_08_25_30_vienna> # Annual Conference of the European Assosiation for Computer Science Logic (12 2003.08.25-30 Vienna)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1217586086#Place/vienna> ; # Vienna)
   schema:name "Annual Conference of the European Assosiation for Computer Science Logic (12 2003.08.25-30 Vienna)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1217586086#Meeting/international_workshop_on_computer_science_logic_17_2003_08_25_30_vienna> # International Workshop on Computer Science Logic (17 2003.08.25-30 Vienna)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1217586086#Place/vienna> ; # Vienna)
   schema:name "International Workshop on Computer Science Logic (17 2003.08.25-30 Vienna)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1217586086#Meeting/kurt_godel_colloquium_8_2003_08_25_30_vienna> # Kurt Gödel Colloquium (8 2003.08.25-30 Vienna)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1217586086#Place/vienna> ; # Vienna)
   schema:name "Kurt Gödel Colloquium (8 2003.08.25-30 Vienna)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1217586086#Organization/european_association_for_computer_science_logic> # European Association for Computer Science Logic
    a schema:Organization ;
   schema:name "European Association for Computer Science Logic" ;
   schema:sameAs <http://d-nb.info/gnd/2156125-4> ;
    .

<http://experiment.worldcat.org/entity/work/data/1217586086#Person/baaz_matthias> # Matthias Baaz
    a schema:Person ;
   schema:familyName "Baaz" ;
   schema:givenName "Matthias" ;
   schema:name "Matthias Baaz" ;
    .

<http://experiment.worldcat.org/entity/work/data/1217586086#Person/makowsky_johann_m> # Johann M. Makowsky
    a schema:Person ;
   schema:familyName "Makowsky" ;
   schema:givenName "Johann M." ;
   schema:name "Johann M. Makowsky" ;
    .

<http://experiment.worldcat.org/entity/work/data/1217586086#Series/> #
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/834395748> ; # Computer science logic : 17th International Workshop ; proceedings
   schema:name "" ;
    .

<http://experiment.worldcat.org/entity/work/data/1217586086#Series/lecture_notes_in_computer_science> # Lecture notes in computer science
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/834395748> ; # Computer science logic : 17th International Workshop ; proceedings
   schema:name "Lecture notes in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/1217586086#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/1217586086#Topic/computer_science> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
   schema:name "Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/1217586086#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical" ;
    .

<http://viaf.org/viaf/219373337> # International Workshop CSL
    a schema:Organization ;
   schema:name "International Workshop CSL" ;
   schema:sameAs <http://d-nb.info/gnd/10062916-7> ;
    .

<http://viaf.org/viaf/33145857804423021125> # Kurt Gödel Colloquium
    a schema:Organization ;
   schema:name "Kurt Gödel Colloquium" ;
   schema:sameAs <http://d-nb.info/gnd/3057221-6> ;
    .

<http://worldcat.org/isbn/9783540408017>
    a schema:ProductModel ;
   schema:isbn "3540408010" ;
   schema:isbn "9783540408017" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.