Bruno Buchberger, Tudor Jebelean,
"Theorema: The Pridicate Logic Prover"
, 1997, B. Buchberger, T. Jebelean; in the First International Theorema Workshop (RISC-Report 97-20)
Original Titel:
Theorema: The Pridicate Logic Prover
Sprache des Titels:
Englisch
Erscheinungsjahr:
1997
Notiz zum Zitat:
B. Buchberger, T. Jebelean; in the First International Theorema Workshop (RISC-Report 97-20)