Research Catalog

Deduktionssysteme : Automatisierung des logischen Denkens

Title
Deduktionssysteme : Automatisierung des logischen Denkens / herausgegeben von K.H. Bläsius und H.-J. Bürckert ; mit Beiträgen von K.H. Bläsius [and others].
Publication
München : R. Oldenbourg, 1992.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.9.A96 D43 1992Off-site

Details

Additional Authors
  • Bläsius, K. H. (Karl Hans)
  • Bürckert, H.-J. (Hans-Jürgen)
Description
viii, 291 pages : illustrations; 25 cm
Subject
  • Automatic theorem proving
  • Artificial intelligence
  • artificial intelligence
  • Deduktionssystem
  • Automatisches Beweisverfahren
  • Deduktion
  • Künstliche Intelligenz
  • Logisches Denken
Bibliography (note)
  • Includes bibliographical references (p. 282-286) and index.
ISBN
  • 3486220330
  • 9783486220339
OCLC
  • ocm29140374
  • 29140374
  • SCSB-9710010
Owning Institutions
Princeton University Library