Bruno Buchberger,
"The PCS Prover in Theorema"
: Proceedings of EUROCAST 2001, Serie Lecture Notes in Computer Science (LNCS), 2-2001, ISSN: 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 // Series ISSN: 0302-9743
Original Titel:
The PCS Prover in Theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of EUROCAST 2001
Serie:
Lecture Notes in Computer Science (LNCS)
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 // Series ISSN: 0302-9743