Produktbild: Instantiation Theory

Instantiation Theory

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

On the Foundations of Automated Deduction, Lecture Notes in Computer Science 518 – Lecture Notes in Artificial Intelligence

ISBN: 3540543333
ISBN 13: 9783540543336
Autor: Williams, James G
Verlag: Springer Verlag GmbH
Umfang: viii, 136 S.
Erscheinungsdatum: 07.08.1991
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1431609 Kategorie:

Beschreibung

This monograph presents a new, general algorithm for use in building theorem provers and logic programming systems. The algorithm is based on a theory that may be developed into a general theory of logics. Appropriate applications of the algorithm and its underlying theory are given.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …