Bruno Buchberger, Tudor Jebelean, Koji Nakagawa,
"Using the Predicate Logic Prover of Theorema for Formal Training in Mathematics"
, 1998, The 2nd International Theorema Workshop, Hagenberg, Austria, June 29-30, 1998, (RISC-Report 98-10)
Original Titel:
Using the Predicate Logic Prover of Theorema for Formal Training in Mathematics
Sprache des Titels:
Englisch
Erscheinungsjahr:
1998
Notiz zum Zitat:
The 2nd International Theorema Workshop, Hagenberg, Austria, June 29-30, 1998, (RISC-Report 98-10)