Buy books written by Michael Kohlhase Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Michael Kohlhase

Michael Kohlhase

13 results found
List viewGrid view
Sort By:
1.
Robust Argumentation Machines
Robust Argumentation Machines
By: Michael Kohlhase, Philipp Cimiano, Benno Stein, Anette Frank
Publisher: Springer International Publishing AG
No Review Yet
AED633
Binding:
Paperback
Release:
17 Jul 2024
Language:
English
International Edition
Ships within 28-30 Days Explain..
2.
Artificial Intelligence. ECAI 2023 International Workshops
Artificial Intelligence. ECAI 2023 International Workshops
By: Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova, Francesco Calimeri, Nada Lavrac
Publisher: Springer International Publishing AG
No Review Yet
AED500
Binding:
Paperback
Release:
25 Jan 2024
Language:
English
International Edition
Ships within 14-16 Days Explain..
3.
Artificial Intelligence. ECAI 2023 International Workshops
Artificial Intelligence. ECAI 2023 International Workshops
By: Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova, Francesco Calimeri, Nada Lavrac
Publisher: Springer International Publishing AG
No Review Yet
AED536
Binding:
Paperback
Release:
21 Jan 2024
Language:
English
International Edition
Ships within 12-14 Days Explain..
4.
Mathematical Knowledge Management
Mathematical Knowledge Management
By: Michael Kohlhase
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED253
Binding:
Paperback
Release:
01 Feb 2006
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Symbolic Computation and Automated Reasoning
Symbolic Computation and Automated Reasoning
By: Michael Kohlhase, Manfred Kerber
Publisher: Taylor & Francis Inc
No Review Yet
AED525
Binding:
Hardback
Release:
02 Apr 2001
Language:
English
International Edition
Ships within 22-24 Days Explain..
6.
Intelligent Computer Mathematics
Intelligent Computer Mathematics
By: Michael Kohlhase, Leonardo De Moura, Frank Tompa, Moa Johansson, Bruce Miller
Publisher: Springer International Publishing AG
No Review Yet
AED213
Binding:
Paperback
Release:
12 Jul 2016
Language:
English
Available
Ships within 12-14 Days Explain..
7.
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
By: Michael Kohlhase
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED253
Binding:
Paperback
Release:
17 Aug 2006
Language:
English
Available
Ships within 12-14 Days Explain..
8.
KI 2006
KI 2006
By: Christian Freksa, Michael Kohlhase, Kerstin Schill
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED160
Binding:
Paperback
Release:
18 Jan 2007
Language:
English
Available
Ships within 2-4 Days Explain..
9.
Digitalisierung Von Zivilprozess Und Rechtsdurchsetzung
Digitalisierung Von Zivilprozess Und Rechtsdurchsetzung
By: Michael Kohlhase, Martin Zwickel, Stephanie Evert, Axel Adrian
Publisher: Duncker & Humblot
No Review Yet
AED592
Binding:
Paperback
Release:
13 Jul 2022
Language:
German
Out of Stock
Notify me when this book is in stockNotify Me
10.
Mathematical Knowledge Management
Mathematical Knowledge Management
By: Michael Kohlhase
Publisher: Springer
No Review Yet
AED48
Binding:
Paperback
Release:
04 Sep 2008
Out of Stock
Notify me when this book is in stockNotify Me
11.
Symbolic Computation and Automated Reasoning
Symbolic Computation and Automated Reasoning
By: Michael Kohlhase, Manfred Kerber
Publisher: Taylor & Francis Inc
No Review Yet
AED257
Binding:
Digital (delivered electronically)
Release:
02 Apr 2001
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Omdoc -- An Open Markup Format for Mathematical Documents [Version 1.2]
Omdoc -- An Open Markup Format for Mathematical Documents [Version 1.2]
By: Michael Kohlhase
Publisher: Springer
No Review Yet
AED32
Binding:
Paperback
Release:
31 Aug 2008
Out of Stock
Notify me when this book is in stockNotify Me
13.
Symbolic Computation and Automated Reasoning
Symbolic Computation and Automated Reasoning
By: Michael Kohlhase, Manfred Kerber
Publisher: Taylor & Francis Inc
No Review Yet
AED70
Binding:
Digital (delivered electronically)
Release:
02 Apr 2001
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found