KIT | KIT-Bibliothek | Impressum | Datenschutz

The many-valued theorem prover 3TAP. 3rd. edition

Hähnle, Reiner; Beckert, Bernhard; Gerberding, Stefan

Abstract:

This is the 3TAP handbook. 3TAP is a many-valued tableau-based
theorem prover developed at the University of Karlsruhe.

The handbook serves a triple purpose: first, it documents the
history and development of the prover 3TAP; second, it provides a
user's manual, and third it is intended as a reference manual for
future developers, including porting hints.

This version of the handbook describes 3TAP Version 3.0 as of
September 30,1994.


Volltext §
DOI: 10.5445/IR/52794
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Publikationsjahr 1994
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA527940
KITopen-ID: 52794
Erscheinungsvermerk Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,30.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page