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
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

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#Agent/r_oldenbourg> # R. Oldenbourg
    a bgn:Agent ;
    schema:name "R. Oldenbourg" ;
    .

<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/deduktionssystem> # Deduktionssystem
    a schema:Intangible ;
    schema:name "Deduktionssystem" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/890352038#Topic/logisches_denken> # Logisches Denken
    a schema:Intangible ;
    schema:name "Logisches Denken" ;
    .

<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.