Buy Used and New VolkerSorge Books

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540438656

Format: Paperback (343 pages)
Publisher: Springer
Published: 19 Jun 2002

Save for later

Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540851097

Format: Paperback (600 pages)
Publisher: Springer
Published: 16 Jul 2008

Save for later

Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642313738

Format: Paperback (473 pages)
Publisher: Springer
Published: 25 Jun 2012

Save for later