Resolution with Feature Graphs
E. Börger, H. Kleine Büning, M.M. Richter (Hrsg). CSL ’87. Proceedings 1st Workshop on Computer Science Logic. Springer Verlag 1988
Erscheinungsjahr: 1988
Publikationstyp: Diverses
Sprache: Deutsch
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
