FB 3
AG BKB
>
Publikationen
>
Suche
>
Deutsch
English
Suche nach Veröffentlichungen - Detailansicht
Art der Veröffentlichung:
Konferenz-Bericht
Herausgeber:
Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
Titel:
Intelligent Computer Mathematics
Band:
5144
Serie / Reihe:
Lecture Notes in Artificial Intelligence
Erscheinungsjahr:
2008
Verleger:
Springer
Status:
Reviewed
Letzte Aktualisierung:
14. 10. 2009
Zurück zum Suchergebnis
Autor: Automatisch generierte Seite
AG BKB
Zuletzt geändert am: 9. Mai 2023