Bruno Buchberger,
"Automated Theorem Proving: Theory or Practice?"
, in Mitteilungen der Deutschen Mathematiker Vereinigung, 2-2000, ISSN: 0947-4471, B. Buchberger; in: Mitteilungen der Deutschen Matehmatiker-Vereinigung, 2, 2000.
Original Titel:
Automated Theorem Proving: Theory or Practice?
Sprache des Titels:
Englisch
Journal:
Mitteilungen der Deutschen Mathematiker Vereinigung
Erscheinungsmonat:
2
Erscheinungsjahr:
2000
Notiz zum Zitat:
B. Buchberger; in: Mitteilungen der Deutschen Matehmatiker-Vereinigung, 2, 2000.
ISSN:
0947-4471
Anzahl der Seiten:
10
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in nicht-referierter Fachzeitschrift