Humburger Icon
Let's Explore, Bibiliophile
  • Account Icon
  • Wishlist Icon
  • Cart Icon

    Cart Overview

    Show All
    Your cart is empty
Logo1
close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Menu
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Michael Kohlhase

Michael Kohlhase

15 results found
List viewGrid view
Sort By:
1.
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]34 %
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
₹5,699
₹3,761
Binding:
Paperback
Release:
17 Aug 2006
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Mathematical Knowledge Management34 %
Mathematical Knowledge Management
By: Michael Kohlhase
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,699
₹3,761
Binding:
Paperback
Release:
02 Jan 2006
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Robust Argumentation Machines35 %
Robust Argumentation Machines
By: Michael Kohlhase, Philipp Cimiano, Benno Stein, Anette Frank
Publisher: Springer International Publishing AG
No Review Yet
₹14,819
₹9,632
Binding:
Paperback
Release:
17 Jul 2024
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Artificial Intelligence. ECAI 2023 International Workshops35 %
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
₹13,679
₹8,891
Binding:
Paperback
Release:
25 Jan 2024
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Artificial Intelligence. ECAI 2023 International Workshops35 %
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
₹12,539
₹8,150
Binding:
Paperback
Release:
21 Jan 2024
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Intelligent Computer Mathematics34 %
Intelligent Computer Mathematics
By: Michael Kohlhase, Leonardo De Moura, Frank Tompa, Moa Johansson, Bruce Miller
Publisher: Springer International Publishing AG
No Review Yet
₹4,788
₹3,160
Binding:
Paperback
Release:
07 Dec 2016
Language:
English
Available
Ships within 14-16 Days Explain..
7.
KI 2006
KI 2006
By: Christian Freksa, Michael Kohlhase, Kerstin Schill
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹2,857
Binding:
Paperback
Release:
18 Jan 2007
Language:
English
Available
Ships within 8-10 Days Explain..
8.
Symbolic Computation and Automated ReasoningNR
Symbolic Computation and Automated Reasoning
By: Michael Kohlhase, Manfred Kerber
Publisher: Taylor & Francis Inc
No Review Yet
₹14,723
Binding:
Hardback
Release:
04 Feb 2001
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
9.
Mathematical Knowledge Management
Mathematical Knowledge Management
By: Michael Kohlhase
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
04 Sep 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
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
₹2,201
Binding:
Paperback
Release:
31 Aug 2008
Language:
English
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
₹5,707
Binding:
Digital (delivered electronically)
Release:
02 Apr 2001
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Mathematical Knowledge Management
Mathematical Knowledge Management
By: Michael Kohlhase
Publisher: Springer Verlag Berlin Heidelberg
No Review Yet
₹0
Binding:
Digital (delivered electronically)
Release:
01 Jan 2006
Language:
English
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
₹5,707
Binding:
Digital (delivered electronically)
Release:
02 Apr 2001
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
KI 2006
KI 2006
By: Christian Freksa, Michael Kohlhase, Kerstin Schill
Publisher: Springer
No Review Yet
₹0
Binding:
Paperback
Release:
05/09/2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
Digitalisierung Von Zivilprozess Und Rechtsdurchsetzung20 % NR
Digitalisierung Von Zivilprozess Und Rechtsdurchsetzung
By: Michael Kohlhase, Martin Zwickel, Stephanie Evert, Axel Adrian
Publisher: Duncker & Humblot GmbH
No Review Yet
₹13,483
₹10,786
Binding:
Paperback
Release:
13 Jul 2022
Language:
German
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA