Bruno Buchberger,
"The PCS Prover in Theorema"
: Proceedings of EUROCAST 2001, 2-2001, ISBN: 0302-9743, B. Buchberger In: Proceedings of EUROCAST, Feb. 19-23, 2001, Las Palmas de Gran Canaria ISBN 3-540-42959-X (R. Moreno-Diaz, B. Buchberger, J.L. Freire eds.) Lecture Notes in Computer Science 2178, 2201, pp. 469-478
Original Titel:
The PCS Prover in Theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of EUROCAST 2001
Englischer Titel:
The PCS Prover in Theorema
Erscheinungsmonat:
2
Erscheinungsjahr:
2001
Notiz zum Zitat:
B. Buchberger In: Proceedings of EUROCAST, Feb. 19-23, 2001, Las Palmas de Gran Canaria ISBN 3-540-42959-X (R. Moreno-Diaz, B. Buchberger, J.L. Freire eds.) Lecture Notes in Computer Science 2178, 2201, pp. 469-478