Cărți de Michael Kohlhase

KI 2006

Editat de Christian Freksa et al.

18 ian 2007

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ț: 496^.08 lei 798^.94 lei

6-8 săpt.

-38%

Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

Lecture Notes in Computer Science, nr. 14638

Editat de Philipp Cimiano et al.

17 iul 2024

Preț: 784^.97 lei 981^.22 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%

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

Autor Michael Kohlhase

17 aug 2006

Preț: 329^.14 lei 411^.42 lei

6-8 săpt.

-20%

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9791

Editat de Michael Kohlhase et al.

12 iul 2016

Preț: 279^.19 lei 348^.98 lei

38-44 zile

-20%

Artificial Intelligence. ECAI 2023 International Workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I

Communications in Computer and Information Science, nr. 1947

Editat de Sławomir Nowaczyk et al.

21 ian 2024

Preț: 683^.76 lei 854^.70 lei

6-8 săpt.

-20%