Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen

Treffer: Proceedings / EUROCAL '85

Titel:
Proceedings / EUROCAL '85 : Linz, Austria, April 1 - 3, 1985 / [organized by: ACM-SIGSAM ; SAME. Sponsored by: Bundesministerium für Wiss. u. Forschung ... Conference and program chairman: Bruno Buchberger ...]
Teil:
Vol. 2. Research contributions / ed. by Bob F. Caviness
Verantwortlich:
Caviness, Bob F. (Hrsg.); Buchberger, Bruno (Hrsg.)
Körper­schaft:
EUROCAL (1985 : Linz)
Association for Computing Machinery. Special Interest Group on Symbolic and Algebraic Manipulation
Veröffent­licht:
Berlin [u.a.] : Springer, 1985
Umfang:
XVI, 650 S. : graph. Darst.
Publikationstyp:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Proceedings / EUROCAL '85 : Linz, Austria, April 1 - 3, 1985 / [organized by: ACM-SIGSAM ; SAME. Sponsored by: Bundesministerium für Wiss. u. Forschung ... Conference and program chairman: Bruno Buchberger ...]
alle Bände anzeigen
Lecture notes in computer science ; 204
alle Bände anzeigen
RVK-Notation:
SS 4000
ISBN:
3540159843 ; 0387159843

Zusatz-Informationen

Zusatz-Funktionen