KIT | KIT-Bibliothek | Impressum

A calculus for order-sorted predicate logic with sort literals

Hedtstueck, U.; Schmitt, Peter H.



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