Structure and Control of the Inference System for L-LILOG
K.H. Bläsius, U. Hedtstück, C.R. Rollinger (Hrsg). Sorts and Types in Artificial Intelligence. Proceedings of the Workshop on Sorts and Types in AI, LNAI-418. Sringer Verlag 1990
Erscheinungsjahr: 1990
Publikationstyp: Diverses
Sprache: Deutsch
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft