Alexander Leitsch

Alexander Leitsch

10 results found
List viewGrid view
Sort By:
1.
Methods of Cut-Elimination37 %
Publisher: Springer
No Review Yet
₹9,600
₹6,048
Binding:
Paperback
Release:
25 Feb 2013
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Automated Model Building43 %
Publisher: Springer
No Review Yet
₹18,271
₹10,414
Binding:
Hardback
Release:
01 Nov 2004
Language:
English
Available
Ships within 1-2 Days Explain..
3.
Methods of Cut-Elimination37 %
Publisher: Springer
No Review Yet
₹9,600
₹6,048
Binding:
Hardback
Release:
17 Jan 2011
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Automated Model Building37 %
Publisher: Springer
No Review Yet
₹14,400
₹9,072
Binding:
Paperback
Release:
05 Dec 2010
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Resolution Calculus37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
28 Sep 2011
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Resolution Methods for the Decision Problem37 %
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
29 Jul 1993
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Automated Reasoning37 %
Publisher: Springer
No Review Yet
₹9,600
₹6,048
Binding:
Paperback
Release:
06 Jun 2001
Language:
English
Available
Ships within 12-14 Days Explain..
10.
Automated ReasoningNR
No Review Yet
₹4,435
Binding:
Paperback
Release:
12 Mar 2014
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
No more records found