Book serie: / Книги серии: Lecture Notes in Computer Science 7362 Lecture Notes in Artificial Intelligence » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 7362 Lecture Notes in Artificial Intelligence

book Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, J

Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, J

pdf

Author: Jesse Alama Lionel Mamane Josef Urban (auth.) Johan Jeuring John A. Campbell Jacques Carette Gabriel Dos Reis Petr Sojka Makarius Wenzel Volker Sorge (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, J

Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, J

pdf

Author: Jesse Alama Lionel Mamane Josef Urban (auth.) Johan Jeuring John A. Campbell Jacques Carette Gabriel Dos Reis Petr Sojka Makarius Wenzel Volker Sorge (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0