skip to content
Deduktion : Automatisierung der Logik Preview this item
ClosePreview this item
Checking...

Deduktion : Automatisierung der Logik

Author: Wolfgang Bibel
Publisher: München ; Wien : Oldenbourg, 1992.
Series: Handbuch der Informatik, Bd. 6.2.
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 online

Find a copy in the library

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

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Wolfgang Bibel
ISBN: 3486207857 9783486207859
OCLC Number: 75234455
Notes: Literaturverz. S. 239 - 254.
Description: 269 S. : graph. Darst. ; 25 cm.
Series Title: Handbuch der Informatik, Bd. 6.2.
Responsibility: von Wolfgang Bibel. Unter Mitarb. von Steffen Hölldobler ; mit einem Übungsteil von Gerd Neugebauer.
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/75234455> # Deduktion : Automatisierung der Logik
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "75234455" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890351921#Place/wien> ; # Wien
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890351921#Place/munchen> ; # München
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/890351921#Topic/logic_symbolic_and_mathematical_data_processing> ; # Logic, Symbolic and mathematical--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/890351921#Topic/deduktionssystem> ; # Deduktionssystem
   schema:about <http://experiment.worldcat.org/entity/work/data/890351921#Topic/logik> ; # Logik
   schema:about <http://id.worldcat.org/fast/1002071> ; # Logic, Symbolic and mathematical--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/890351921#Topic/automation> ; # Automation
   schema:about <http://experiment.worldcat.org/entity/work/data/890351921#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/890351921#Topic/deduktion> ; # Deduktion
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/39467805> ; # Wolfgang Bibel
   schema:datePublished "1992" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/890351921> ;
   schema:inLanguage "de" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/890351921#Series/handbuch_der_informatik> ; # Handbuch der Informatik ;
   schema:name "Deduktion : Automatisierung der Logik"@de ;
   schema:productID "75234455" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/75234455#PublicationEvent/munchen_wien_oldenbourg_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/890351921#Agent/oldenbourg> ; # Oldenbourg
   schema:url <http://www.gbv.de/dms/ilmenau/toc/031891535.PDF> ;
   schema:url <http://www.gbv.de/dms/hebis-mainz/toc/019163916.pdf> ;
   schema:url <http://d-nb.info/920069851/04> ;
   schema:workExample <http://worldcat.org/isbn/9783486207859> ;
   umbel:isLike <http://d-nb.info/920069851> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/75234455> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/890351921#Series/handbuch_der_informatik> # Handbuch der Informatik ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/75234455> ; # Deduktion : Automatisierung der Logik
   schema:name "Handbuch der Informatik ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/890351921#Topic/logic_symbolic_and_mathematical_data_processing> # Logic, Symbolic and mathematical--Data processing
    a schema:Intangible ;
   schema:hasPart <http://id.loc.gov/authorities/subjects/sh85078115> ;
   schema:name "Logic, Symbolic and mathematical--Data processing"@de ;
    .

<http://experiment.worldcat.org/entity/work/data/890351921#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@de ;
    .

<http://id.worldcat.org/fast/1002071> # Logic, Symbolic and mathematical--Data processing
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical--Data processing"@de ;
    .

<http://viaf.org/viaf/39467805> # Wolfgang Bibel
    a schema:Person ;
   schema:familyName "Bibel" ;
   schema:givenName "Wolfgang" ;
   schema:name "Wolfgang Bibel" ;
    .

<http://worldcat.org/isbn/9783486207859>
    a schema:ProductModel ;
   schema:isbn "3486207857" ;
   schema:isbn "9783486207859" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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