Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


3094 Treffer


× Publikationen
× Katholische Hochschule Mainz
× Hochschule Trier
× Technische Hochschule Bingen







  • Bläsius, Karl Hans; Rollinger, C.R.; Siekmann, J.H.
  • 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