Computing Answers and Logic Programming by Model Elimination Based Theorem Proving
Proc. of the Workshop ``Automated Reasoning: Bridging the Gap between Theory and Practice´´. 1995
Erscheinungsjahr: 1995
Publikationstyp: Diverses
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft