KIT | KIT-Bibliothek | Impressum

A calculus for order-sorted predicate logic with sort literals

Schmitt, Peter H.; Hedtstueck, Ulrich



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Jahr 1989
Sprache Englisch
Identifikator KITopen ID: 139589
Erscheinungsvermerk Stuttgart 1989. (Report. Institut fuer Wissensbasierte Systeme, IBM Deutschland GmbH. 95.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page