skip to content
Deduktionssysteme : Automatisierung des logischen Denkens Preview this item
ClosePreview this item
Checking...

Deduktionssysteme : Automatisierung des logischen Denkens

Author: K H Bläsius; H -J Bürckert
Publisher: München : R. Oldenbourg, 1987.
Edition/Format:   Print book : GermanView all editions and formats
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: Aufsatzsammlung
Document Type: Book
All Authors / Contributors: K H Bläsius; H -J Bürckert
ISBN: 3486205099 9783486205091
OCLC Number: 19722722
Notes: Includes indexes.
Description: vi, 179 pages : 68 illustrations ; 25 cm
Responsibility: herausgegeben von K.H. Bläsius und H.-J. Bürckert ; mit Beiträgen von K.H. Bläsius [and others].

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/19722722> # Deduktionssysteme : Automatisierung des logischen Denkens
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "19722722" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890352038#Place/munchen> ; # München
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/890352038#Topic/aufsatzsammlung> ; # Aufsatzsammlung
   schema:about <http://experiment.worldcat.org/entity/work/data/890352038#Topic/logik> ; # Logik
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/890352038#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
   schema:about <http://dewey.info/class/511.3/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/890352038#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
   schema:about <http://experiment.worldcat.org/entity/work/data/890352038#Topic/deduktionssystem> ; # Deduktionssystem
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/890352038#Topic/deduktion> ; # Deduktion
   schema:about <http://experiment.worldcat.org/entity/work/data/890352038#Topic/logisches_denken> ; # Logisches Denken
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/92964019> ; # Karl Hans Bläsius
   schema:contributor <http://viaf.org/viaf/72040131> ; # Hans-Jürgen Bürckert
   schema:datePublished "1987" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/890352038> ;
   schema:genre "Aufsatzsammlung" ;
   schema:inLanguage "de" ;
   schema:name "Deduktionssysteme : Automatisierung des logischen Denkens" ;
   schema:productID "19722722" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/19722722#PublicationEvent/munchen_r_oldenbourg_1987> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/890352038#Agent/r_oldenbourg> ; # R. Oldenbourg
   schema:workExample <http://worldcat.org/isbn/9783486205091> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/19722722> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/890352038#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
   schema:name "Automatisches Beweisverfahren" ;
    .

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

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

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

<http://viaf.org/viaf/72040131> # Hans-Jürgen Bürckert
    a schema:Person ;
   schema:familyName "Bürckert" ;
   schema:givenName "Hans-Jürgen" ;
   schema:givenName "H.-J" ;
   schema:name "Hans-Jürgen Bürckert" ;
    .

<http://viaf.org/viaf/92964019> # Karl Hans Bläsius
    a schema:Person ;
   schema:familyName "Bläsius" ;
   schema:givenName "Karl Hans" ;
   schema:givenName "K. H." ;
   schema:name "Karl Hans Bläsius" ;
    .

<http://worldcat.org/isbn/9783486205091>
    a schema:ProductModel ;
   schema:isbn "3486205099" ;
   schema:isbn "9783486205091" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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