Catalogo · 9783540314301
Mathematical Knowledge Management
ISBN 9783540314301
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Symbolic Computation and Automated Reasoning
Michael Kohlhase
![Copertina di OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]](/api/covers?coverUrl=https%3A%2F%2Fsearch.otiumbookshelf.com%2Fcover%2Fb%2Fid%2F2222058-L.jpg&isbn=9783540378976&title=OMDoc+--+An+Open+Markup+Format+for+Mathematical+Documents+%5Bversion+1.2%5D&author=Michael+Kohlhase&v=6)
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
Michael Kohlhase
Intelligent Computer Mathematics
Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa
Robust Argumentation Machines
Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein
Ki 2006
Christian Freksa, Michael Kohlhase, Kerstin Schill
Digitalisierung Von Zivilprozess und Rechtsdurchsetzung
Martin Zwickel, Axel Adrian, Stephanie Evert, Michael Kohlhase
Dostoevsky and Kant
Evgenia Cherkasova
Letters from a Stoic
Seneca the Younger
The Correspondence
J. D. Daniels
The picnic gourmet
Joan Hemingway
Filosofia dell'arredamento
Mario Praz
CHINA Portrait of a People
Tom Carter
Verba volant · scripta manent