JKU Linz  
 
 


Publikationsdetails

Wissenschaftsgebiete 
Zitat: 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
ISSN: 0302-9743
Anzahl der Seiten: 9
Reichweite: international
Publikationstyp: Aufsatz / Paper in Tagungsband (nicht-referiert)
Autoren: Bruno Buchberger
Forschungseinheiten: Institut für Symbolisches Rechnen
Wissenschaftsgebiete: Symbolic Computation (ÖSTAT:1141)
fodok.jku.at Zum Seitenanfang

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum