Cărți de Michael Kohlhase

Robust Argumentation Machines

Lecture Notes in Computer Science, nr. 14638

Editat de Philipp Cimiano et al.

17 iul 2024

Preț: 793^.19 lei 991^.50 lei

6-8 săpt.

-20%

Digitalisierung von Zivilprozess und Rechtsdurchsetzung.

Schriften zum Prozessrecht, nr. 284

Editat de Axel Adrian et al.

12 iul 2022

Preț: 768^.08 lei 997^.50 lei

Indisponibil temporar

-23%

KI 2006

Editat de Christian Freksa et al.

18 ian 2007

Preț: 331^.16 lei 413^.95 lei

6-8 săpt.

-20%

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

Autor Michael Kohlhase

17 aug 2006

Preț: 330^.15 lei 412^.69 lei

6-8 săpt.

-20%

Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3863

Editat de Michael Kohlhase

feb 2006

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

Editat de Manfred Kerber et al.

2 apr 2001

Preț: 582^.51 lei 843^.16 lei

Indisponibil temporar

-31%