Bruno Buchberger, Tudor Jebelean,
"Present State of Theorema and Predicate Logic Prover"
, 4-1997, B. Buchberger, T. Jebelean; Calculemus Meeting, Research Institute IRST, Trento
Original Titel:
Present State of Theorema and Predicate Logic Prover
Sprache des Titels:
Englisch
Erscheinungsmonat:
4
Erscheinungsjahr:
1997
Notiz zum Zitat:
B. Buchberger, T. Jebelean; Calculemus Meeting, Research Institute IRST, Trento