skip to content
LPAR 2002 : short contributions. CSL 2003 : extended posters Preview this item
ClosePreview this item
Checking...

LPAR 2002 : short contributions. CSL 2003 : extended posters

Author: Matthias Baaz; LPAR (9, 2002, T'bilisi); International Workshop CSL <17, 2003, Wien>
Publisher: Wien : Kurt Gödel Soc., 2004.
Series: Collegium logicum, 8
Edition/Format:   Print book : Conference publication : English
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Matthias Baaz; LPAR (9, 2002, T'bilisi); International Workshop CSL <17, 2003, Wien>
ISBN: 3901546030 9783901546037
OCLC Number: 219477445
Notes: Einzelaufnahme eines Zeitschr.-Bd.
Literaturangaben.
Description: 110 S. : graph. Darst. ; 24 cm.
Series Title: Collegium logicum, 8
Responsibility: eds.: Matthias Baaz ...

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/219477445> # LPAR 2002 : short contributions. CSL 2003 : extended posters
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "219477445" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/au> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/131998750#Place/wien> ; # Wien.
   schema:about <http://experiment.worldcat.org/entity/work/data/131998750#Thing/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/131998750#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
   schema:about <http://experiment.worldcat.org/entity/work/data/131998750#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/131998750#Place/wien> ; # Wien.
   schema:about <http://experiment.worldcat.org/entity/work/data/131998750#Place/tiflis> ; # Tiflis.
   schema:about <http://experiment.worldcat.org/entity/work/data/131998750#Topic/informatik> ; # Informatik
   schema:about <http://experiment.worldcat.org/entity/work/data/131998750#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/131998750#Topic/inferenz_kunstliche_intelligenz> ; # Inferenz (Künstliche Intelligenz)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/219373337> ; # International Workshop CSL <17, 2003, Wien>
   schema:contributor <http://viaf.org/viaf/2724418> ; # Matthias Baaz
   schema:creator <http://viaf.org/viaf/147530378> ; # LPAR (9, 2002, T'bilisi)
   schema:datePublished "2004" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/131998750> ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/131998750#Series/collegium_logicum> ; # Collegium logicum ;
   schema:name "LPAR 2002 : short contributions. CSL 2003 : extended posters" ;
   schema:productID "219477445" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/219477445#PublicationEvent/wien_kurt_godel_soc_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/131998750#Agent/kurt_godel_soc> ; # Kurt Gödel Soc.
   schema:workExample <http://worldcat.org/isbn/9783901546037> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/219477445> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/131998750#Agent/kurt_godel_soc> # Kurt Gödel Soc.
    a bgn:Agent ;
   schema:name "Kurt Gödel Soc." ;
    .

<http://experiment.worldcat.org/entity/work/data/131998750#Series/collegium_logicum> # Collegium logicum ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/219477445> ; # LPAR 2002 : short contributions. CSL 2003 : extended posters
   schema:name "Collegium logicum ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/131998750#Thing/mathematische_logik> # Mathematische Logik
    a schema:Thing ;
   schema:name "Mathematische Logik" ;
    .

<http://experiment.worldcat.org/entity/work/data/131998750#Topic/inferenz_kunstliche_intelligenz> # Inferenz (Künstliche Intelligenz)
    a schema:Intangible ;
   schema:name "Inferenz (Künstliche Intelligenz)" ;
    .

<http://experiment.worldcat.org/entity/work/data/131998750#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
   schema:name "Künstliche Intelligenz" ;
    .

<http://experiment.worldcat.org/entity/work/data/131998750#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik" ;
    .

<http://viaf.org/viaf/147530378> # LPAR (9, 2002, T'bilisi)
    a schema:Organization ;
   schema:name "LPAR (9, 2002, T'bilisi)" ;
    .

<http://viaf.org/viaf/219373337> # International Workshop CSL <17, 2003, Wien>
    a schema:Organization ;
   schema:name "International Workshop CSL <17, 2003, Wien>" ;
    .

<http://viaf.org/viaf/2724418> # Matthias Baaz
    a schema:Person ;
   schema:familyName "Baaz" ;
   schema:givenName "Matthias" ;
   schema:name "Matthias Baaz" ;
    .

<http://worldcat.org/isbn/9783901546037>
    a schema:ProductModel ;
   schema:isbn "3901546030" ;
   schema:isbn "9783901546037" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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