Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Suche


18881 Treffer


× Universität Koblenz


Publikation

Publikation

Publikation

Publikation

Publikation

Publikation
  • Süttenbach, Roger; Ebert, J.
  • A Booch Metamodel
  • Koblenz: Universität Koblenz-Landau, Institut für Informatik 1997 (5)

Publikation

Publikation

Publikation
  • Chandrabose, Aravindan; Baumgartner, Peter; Dix, Jürgen et al.
  • On Merging Theorem Proving and Logic Programming Paradigms
  • Maher, M. (Hrsg). Proceedings of the Joint International Conference and Symposiums on Logic Programming, Bad Honnef. Cambridge, MA, London, England: MIT Press 1996 S. 546

Publikation