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
Erscheinungsjahr: 1996
Publikationstyp: Diverses
Autoren
Chandrabose, Aravindan (Autor)
Baumgartner, Peter (Autor)
Dix, Jürgen (Autor)
Niemelä, Ilkka (Autor)
Neugebauer, Gerd (Autor)
Schäfer, Dorothea (Autor)
Stolzenburg, Frieder (Autor)
Maher, M. (Herausgeber)
Klassifikation
DFG Fachgebiet:
- ohne Zuordnung
DDC Sachgruppe:
Allgemeines, Wissenschaft
