Michael Kohlhase

14 results found

Sort By:

Robust Argumentation Machines

By: Michael Kohlhase, Philipp Cimiano, Benno Stein, Anette Frank

Publisher: Springer International Publishing AG

No Review Yet

AED583

Binding:	Paperback
Release:	17 Jul 2024
Language:	English

Available

Ships within 14-16 Days Explain..

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

AED494

Binding:	Paperback
Release:	21 Jan 2024
Language:	English

Available

Ships within 14-16 Days Explain..

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

AED494

Binding:	Paperback
Release:	25 Jan 2024
Language:	English

Available

Ships within 14-16 Days Explain..

Mathematical Knowledge Management

By: Michael Kohlhase

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED225

Binding:	Paperback
Release:	01 Feb 2006
Language:	English

Available

Ships within 14-16 Days Explain..

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

AED225

Binding:	Paperback
Release:	17 Aug 2006
Language:	English

Available

Ships within 14-16 Days Explain..

Symbolic Computation and Automated Reasoning

By: Michael Kohlhase, Manfred Kerber

Publisher: Taylor & Francis Inc

No Review Yet

AED316

Binding:	Hardback
Release:	02 Apr 2001
Language:	English

Available

Ships within 14-16 Days Explain..

Intelligent Computer Mathematics

By: Michael Kohlhase, Leonardo De Moura, Frank Tompa, Moa Johansson, Bruce Miller

Publisher: Springer International Publishing AG

No Review Yet

AED189

Binding:	Paperback
Release:	12 Jul 2016
Language:	English

Available

Ships within 14-16 Days Explain..

KI 2006

By: Christian Freksa, Michael Kohlhase, Kerstin Schill

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED152

Binding:	Paperback
Release:	18 Jan 2007
Language:	English

Available

Ships within 10-12 Days Explain..

Digitalisierung von Zivilprozess und Rechtsdurchsetzung.

By: Michael Kohlhase, Martin Zwickel, Stephanie Evert, Axel Adrian

Publisher: Duncker & Humblot GmbH

No Review Yet

AED497

Binding:	Paperback
Release:	13 Jul 2022
Language:	German

Out of Stock

Notify me when this book is in stockNotify Me

10.

Mathematical Knowledge Management

By: Michael Kohlhase

Publisher: Springer Verlag Berlin Heidelberg

No Review Yet

AED0

Binding:	Digital (delivered electronically)
Release:	01 Jan 2006
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

11.

Symbolic Computation and Automated Reasoning

By: Michael Kohlhase, Manfred Kerber

Publisher: Taylor & Francis Inc

No Review Yet

AED59

Binding:	Digital (delivered electronically)
Release:	02 Apr 2001
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

12.

Symbolic Computation and Automated Reasoning

By: Michael Kohlhase, Manfred Kerber

Publisher: Taylor & Francis Inc

No Review Yet

AED216

Binding:	Digital (delivered electronically)
Release:	02 Apr 2001
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

13.

Omdoc -- An Open Markup Format for Mathematical Documents [Version 1.2]

By: Michael Kohlhase

Publisher: Springer

No Review Yet

AED28

Binding:	Paperback
Release:	31 Aug 2008

Out of Stock

Notify me when this book is in stockNotify Me

14.

Mathematical Knowledge Management

By: Michael Kohlhase

Publisher: Springer

No Review Yet

AED40

Binding:	Paperback
Release:	04 Sep 2008

Out of Stock

Notify me when this book is in stockNotify Me

No more records found

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter