Research Catalog

Deduction systems in artificial intelligence

Title
Deduction systems in artificial intelligence / editors : Karl-Hans Bläsius, Hans-Jürgen Bürckert.
Publication
Chichester [England] : Horwood ; New York : Wiley, 1989.

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?
TextRequest in advance QA76.9.A96 D4313 1989Off-site

Holdings

Details

Additional Authors
  • Bläsius, K. H. (Karl Hans)
  • Bürckert, H.-J. (Hans-Jürgen)
Description
238 pages : illustrations; 25 cm.
Series Statement
Ellis Horwood series in artificial intelligence
Uniform Title
  • Deduktionssysteme. English.
  • Ellis Horwood series in artificial intelligence.
Subject
  • Automatic theorem proving
  • Artificial intelligence
Note
  • Translation of: Deduktionssysteme.
Bibliography (note)
  • Includes bibliograpies and index.
ISBN
0745804098 :
LCCN
89019907
OCLC
  • 20220965
  • ocm20220965
Owning Institutions
Columbia University Libraries