Andrea Asperti

A.A. · Andreas Asperl

Springer Berlin Heidelberg · The MIT Press

Titel ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist
978-0-262-01125-9
(0-262-01125-5)
1991Giuseppe Longo
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 978-3-540-00568-1
(3-540-00568-4)
2003Bruno Buchberger · James Harold Davenport
Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings 978-3-540-23029-8
(3-540-23029-7)
2008Andrzej Trybulec · Grzegorz Bancerek

 

Andreas A. Berse