Theorem Proving in Higher Order Logics
Richard J. Boulton, Paul B. Jackson
₹5,718
Nahverkehrsbahnen Der Grosstädte
Raum- Und Kostenprobleme Der Vertikalen Auflockerung
₹3,623
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
Nahverkehrsbahnen Der Grosstädte is a carefully curated title by Walther Lambert , published by Springer .
Description supplied by the publisher.
Book details
- ISBN-13
- 9783642527746
- ISBN-10
- 3642527744
- Author
- Walther Lambert
- Publisher
- Springer
- Condition
- New
Related books
Declarative Agent Languages and Technologies
Joao Leite, Andrea Omicini, Leon Sterling
₹5,625
Database Machine Performance
Francesca Cesarini, Silvio Salza
₹5,503
Materialflußrechnung
W. Grosseschallau
₹3,143
Functional Analysis
D. Butkovic, H. Kraljevic, S. Kurepa
₹3,252
Fme '96
Marie-Claude Gaudel, James Woodcock
₹4,044
Theoretische Physik
Dietrich Stauffer
₹3,907
Adolf Gottstein
Ulrich Koppitz, Alfons Labisch
₹3,508
Information Processing in Computer Assisted Interventions
Purang Abolmaesumi, Leo Joskowicz, Nassir Navab
₹5,699
Angewandte Improvisation Für Coaches Und Führungskräfte
Susanne Schinko-Fischli
₹4,242
Gesundheit Und Neue Medien
Birgit U. Stetina, Ilse Kryspin-Exner
₹5,330
Computational Intelligence
Oliver Kramer
₹2,672