skip to content
Logic of computation Preview this item
ClosePreview this item
Checking...

Logic of computation

Author: Helmut Schwichtenberg
Publisher: Berlin ; New York : Springer, ©1997.
Series: NATO ASI series., Series F,, Computer and systems sciences ;, no. 157.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.

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

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Helmut Schwichtenberg
ISBN: 3540629637 9783540629634
OCLC Number: 36900793
Notes: Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995.
Description: vi, 394 pages ; 24 cm.
Series Title: NATO ASI series., Series F,, Computer and systems sciences ;, no. 157.
Responsibility: edited by Helmut Schwichtenberg.
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/36900793> # Logic of computation
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "36900793" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/628806#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/628806#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/005.1015113/e21/> ;
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/628806#Topic/theoremes_demonstration_automatique_congres> ; # Théorèmes--Démonstration automatique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/628806#Topic/programmation_logique_congres> ; # Programmation logique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/628806#Topic/preuve_theorie_de_la_congres> ; # Preuve, Théorie de la--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/628806#Topic/computer_science> ; # Computer science
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/628806#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/46861987> ; # Helmut Schwichtenberg
   schema:contributor <http://experiment.worldcat.org/entity/work/data/628806#Meeting/nato_advanced_study_institute_on_logic_of_computation_1995_marktoberdorf_germany> ; # NATO Advanced Study Institute on Logic of Computation (1995 : Marktoberdorf, Germany)
   schema:copyrightYear "1997" ;
   schema:datePublished "1997" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/628806> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/628806#Series/nato_asi_series_series_f_computer_and_systems_sciences> ; # NATO ASI series. Series F, Computer and systems sciences ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/628806#Series/nato_asi_series> ; # NATO ASI series.
   schema:name "Logic of computation"@en ;
   schema:productID "36900793" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/36900793#PublicationEvent/berlin_new_york_springer_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/628806#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9783540629634> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9754171> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/36900793> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/628806#Meeting/nato_advanced_study_institute_on_logic_of_computation_1995_marktoberdorf_germany> # NATO Advanced Study Institute on Logic of Computation (1995 : Marktoberdorf, Germany)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/628806#Place/marktoberdorf_germany> ; # Marktoberdorf, Germany)
   schema:name "NATO Advanced Study Institute on Logic of Computation (1995 : Marktoberdorf, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/628806#Place/marktoberdorf_germany> # Marktoberdorf, Germany)
    a schema:Place ;
   schema:name "Marktoberdorf, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/628806#Series/nato_asi_series_series_f_computer_and_systems_sciences> # NATO ASI series. Series F, Computer and systems sciences ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/36900793> ; # Logic of computation
   schema:name "NATO ASI series. Series F, Computer and systems sciences ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/628806#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/628806#Topic/preuve_theorie_de_la_congres> # Preuve, Théorie de la--Congrès
    a schema:Intangible ;
   schema:name "Preuve, Théorie de la--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/628806#Topic/programmation_logique_congres> # Programmation logique--Congrès
    a schema:Intangible ;
   schema:name "Programmation logique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/628806#Topic/theoremes_demonstration_automatique_congres> # Théorèmes--Démonstration automatique--Congrès
    a schema:Intangible ;
   schema:name "Théorèmes--Démonstration automatique--Congrès"@en ;
    .

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

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

<http://viaf.org/viaf/46861987> # Helmut Schwichtenberg
    a schema:Person ;
   schema:birthDate "1942" ;
   schema:familyName "Schwichtenberg" ;
   schema:givenName "Helmut" ;
   schema:name "Helmut Schwichtenberg" ;
    .

<http://worldcat.org/isbn/9783540629634>
    a schema:ProductModel ;
   schema:isbn "3540629637" ;
   schema:isbn "9783540629634" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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