skip to content
Proof technology and computation Preview this item
ClosePreview this item
Checking...

Proof technology and computation

Author: Helmut Schwichtenberg; Katharina Spies
Publisher: Amsterdam ; Washington, DC : IOS Press, ©2006.
Series: NATO science series., Series III,, Computer and systems sciences ;, v. 200.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Proof technology aims at integrating proof processing into industrial design and verifications tools. The chapters in this book deal with: the benefits and technical challenges of sharing formal  Read more...

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, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Helmut Schwichtenberg; Katharina Spies
ISBN: 1586036254 9781586036256
OCLC Number: 77528062
Notes: "Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--Title page verso.
"Published in cooperation with NATO Public Diplomacy Division."
Description: vii, 445 pages ; 25 cm.
Series Title: NATO science series., Series III,, Computer and systems sciences ;, v. 200.
Responsibility: edited by Helmut Schwichtenberg and Katharina Spies.
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/77528062> # Proof technology and computation
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "77528062" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/58186367#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/58186367#Place/washington_dc> ; # Washington, DC
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/58186367#Topic/computer_programming> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/58186367#Topic/computer_software_development> ; # Computer software--Development
   schema:about <http://experiment.worldcat.org/entity/work/data/58186367#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/46861987> ; # Helmut Schwichtenberg
   schema:contributor <http://experiment.worldcat.org/entity/work/data/58186367#Person/spies_katharina> ; # Katharina Spies
   schema:copyrightYear "2006" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/58186367#Meeting/nato_advanced_study_institute_on_proof_technology_and_computation_2003_marktoberdorf_germany> ; # NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany)
   schema:datePublished "2006" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/58186367> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/1387-6694> ; # NATO science series.
   schema:name "Proof technology and computation"@en ;
   schema:productID "77528062" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/77528062#PublicationEvent/amsterdam_washington_dc_ios_press_2006> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/58186367#Agent/ios_press> ; # IOS Press
   schema:url <http://catdir.loc.gov/catdir/toc/fy0707/2006927922.html> ;
   schema:workExample <http://worldcat.org/isbn/9781586036256> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/77528062> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/58186367#Meeting/nato_advanced_study_institute_on_proof_technology_and_computation_2003_marktoberdorf_germany> # NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/58186367#Place/marktoberdorf_germany> ; # Marktoberdorf, Germany)
   schema:name "NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/58186367#Person/spies_katharina> # Katharina Spies
    a schema:Person ;
   schema:familyName "Spies" ;
   schema:givenName "Katharina" ;
   schema:name "Katharina Spies" ;
    .

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

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

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

<http://id.worldcat.org/fast/872537> # Computer software--Development
    a schema:Intangible ;
   schema:name "Computer software--Development"@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/9781586036256>
    a schema:ProductModel ;
   schema:isbn "1586036254" ;
   schema:isbn "9781586036256" ;
    .

<http://worldcat.org/issn/1387-6694> # NATO science series.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/77528062> ; # Proof technology and computation
   schema:issn "1387-6694" ;
   schema:name "NATO science series." ;
   schema:name "NATO science series. Series III, Computer and systems sciences," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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