Manfred Kerber Books | Book Reviews & More at Bookswagon

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Manfred Kerber

5 results found

Sort By:

37 %

Intelligent Computer Mathematics

By: Manfred Kerber, Catherine DuBois

Publisher: Springer Nature Switzerland

No Review Yet

₹6,336

₹3,992

Binding:	Paperback
Release:	03 Oct 2023
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Intelligent Computer Mathematics

By: Manfred Kerber, Jacques Carette, Florian Rabe, Cezary Kaliszyk, Volker Sorge

Publisher: Springer

No Review Yet

₹4,800

₹3,024

Binding:	Paperback
Release:	29 Jun 2015
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Towards Mechanized Mathematical Assistants

By: Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger

Publisher: Springer

No Review Yet

₹4,800

₹3,024

Binding:	Paperback
Release:	19 Jun 2007
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Computational Logic -- CL 2000

By: V. Dahl, Luis Moniz Pereira, J. Lloyd, U. Furbach, Manfred Kerber

Publisher: Springer

No Review Yet

₹4,800

₹3,024

Binding:	Paperback
Release:	17 Jul 2000
Language:	English

Available

Ships within 12-14 Days Explain..

8 % NR

Symbolic Computation and Automated Reasoning

By: Michael Kohlhase, Manfred Kerber

Publisher: A K Peters

No Review Yet

₹9,775

₹8,993

Binding:	Hardback
Release:	02 Apr 2001
Language:	English

International Edition

Ships within 18-20 Days Explain..

Free Shipping in India and low cost Worldwide.

No more records found