skip to content
Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 Proceedings Preview this item
ClosePreview this item
Checking...

Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 Proceedings

Author: Peter G Clote; Helmut Schwichtenberg; European Association for Computer Science Logic. Conference
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg : Springer e-books, 2000.
Series: Lecture Notes in Computer Science, 1862
Edition/Format:   Computer file : Document : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Peter G Clote; Helmut Schwichtenberg; European Association for Computer Science Logic. Conference
ISBN: 9783540446224 3540446222
OCLC Number: 801050973
Description: 1 online resource.
Details: Nécessite un lecteur de fichier PDF.
Series Title: Lecture Notes in Computer Science, 1862
Responsibility: edited by Peter G. Clote, Helmut Schwichtenberg.

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/801050973> # Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 Proceedings
    a schema:CreativeWork, schema:MediaObject, bgn:ComputerFile ;
   library:oclcnum "801050973" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890464857#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   schema:about <http://experiment.worldcat.org/entity/work/data/890464857#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://dewey.info/class/005.131/e23/> ;
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://experiment.worldcat.org/entity/work/data/890464857#Thing/computer_science> ; # Computer Science
   schema:about <http://experiment.worldcat.org/entity/work/data/890464857#Thing/mathematical_logic_and_foundations> ; # Mathematical Logic and Foundations
   schema:about <http://experiment.worldcat.org/entity/work/data/890464857#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:about <http://experiment.worldcat.org/entity/work/data/890464857#Thing/artificial_intelligence_incl_robotics> ; # Artificial Intelligence (incl. Robotics)
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:contributor <http://experiment.worldcat.org/entity/work/data/890464857#Person/schwichtenberg_helmut> ; # Helmut Schwichtenberg
   schema:contributor <http://experiment.worldcat.org/entity/work/data/890464857#Organization/european_association_for_computer_science_logic_conference> ; # European Association for Computer Science Logic. Conference
   schema:contributor <http://experiment.worldcat.org/entity/work/data/890464857#Person/clote_peter_g> ; # Peter G Clote
   schema:creator <http://experiment.worldcat.org/entity/work/data/890464857#Meeting/workshop_on_computer_science_logic_14th_2000> ; # Workshop on Computer Science Logic (14th ; 2000).
   schema:datePublished "2000" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/890464857> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science,
   schema:name "Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 Proceedings" ;
   schema:productID "801050973" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/801050973#PublicationEvent/berlin_heidelberg_springer_verlag_berlin_heidelberg_springer_e_books_2000> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/890464857#Agent/springer_e_books> ; # Springer e-books
   schema:publisher <http://experiment.worldcat.org/entity/work/data/890464857#Agent/springer_verlag_berlin_heidelberg> ; # Springer-Verlag Berlin Heidelberg
   schema:workExample <http://worldcat.org/isbn/9783540446224> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/801050973> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/890464857#Agent/springer_e_books> # Springer e-books
    a bgn:Agent ;
   schema:name "Springer e-books" ;
    .

<http://experiment.worldcat.org/entity/work/data/890464857#Agent/springer_verlag_berlin_heidelberg> # Springer-Verlag Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer-Verlag Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/890464857#Meeting/workshop_on_computer_science_logic_14th_2000> # Workshop on Computer Science Logic (14th ; 2000).
    a bgn:Meeting, schema:Event ;
   schema:name "Workshop on Computer Science Logic (14th ; 2000)." ;
    .

<http://experiment.worldcat.org/entity/work/data/890464857#Organization/european_association_for_computer_science_logic_conference> # European Association for Computer Science Logic. Conference
    a schema:Organization ;
   schema:name "European Association for Computer Science Logic. Conference" ;
    .

<http://experiment.worldcat.org/entity/work/data/890464857#Person/clote_peter_g> # Peter G Clote
    a schema:Person ;
   schema:familyName "Clote" ;
   schema:givenName "Peter G." ;
   schema:name "Peter G Clote" ;
    .

<http://experiment.worldcat.org/entity/work/data/890464857#Person/schwichtenberg_helmut> # Helmut Schwichtenberg
    a schema:Person ;
   schema:familyName "Schwichtenberg" ;
   schema:givenName "Helmut" ;
   schema:name "Helmut Schwichtenberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/890464857#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/890464857#Thing/artificial_intelligence_incl_robotics> # Artificial Intelligence (incl. Robotics)
    a schema:Thing ;
   schema:name "Artificial Intelligence (incl. Robotics)" ;
    .

<http://experiment.worldcat.org/entity/work/data/890464857#Thing/computer_science> # Computer Science
    a schema:Thing ;
   schema:name "Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/890464857#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Thing ;
   schema:name "Logics and Meanings of Programs" ;
    .

<http://experiment.worldcat.org/entity/work/data/890464857#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Thing ;
   schema:name "Mathematical Logic and Formal Languages" ;
    .

<http://experiment.worldcat.org/entity/work/data/890464857#Thing/mathematical_logic_and_foundations> # Mathematical Logic and Foundations
    a schema:Thing ;
   schema:name "Mathematical Logic and Foundations" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical" ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://worldcat.org/isbn/9783540446224>
    a schema:ProductModel ;
   schema:isbn "3540446222" ;
   schema:isbn "9783540446224" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/801050973> ; # Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 Proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/801050973>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/801050973> ; # Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 Proceedings
   schema:dateModified "2016-05-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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