Refinements for Restart Model Elimination
Proceedings of the International Workshop on First Order Theorem Proving (FTP 97). 1997
Erscheinungsjahr: 1997
Publikationstyp: Diverses
Autoren
Baumgartner, Peter (Autor)
P. Baumgartner, P. (Autor)
Furbach, U. (Autor)
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
