Typed Lambda Calculi and Applications
Martin Hofmann
₹5,613
Eurosam 84
International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
by J. Fitch
₹5,580
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
Eurosam 84 is a carefully curated title by J. Fitch , published by Springer .
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540133506
- ISBN-10
- 354013350X
- Author
- J. Fitch
- Publisher
- Springer
- Condition
- New
Related books
Logische Untersuchungen Ergänzungsband Erster Teil
Edmund Husserl, Ullrich Melle
₹5,360
Monatsschrift Kinderheilkunde
K. D. Bachmann, H. Berger, J. Bierich
₹4,347
Planning and Care for Children and Adolescents with Dental Enamel Defects
Bernadette K. Drummond, Nicola Kilpatrick
₹4,352
Management in Der Ergotherapie
Ursula Walkenhorst, Heiko Burchert
₹5,044
Foundations of Information and Knowledge Systems
Dietmar Seipel, Jose M. Turull-Torres
₹5,540
Functional Programming Languages and Computer Architecture
Gilles Kahn
₹5,491
Progress in Nano-Electro-Optics VII
Motoichi Ohtsu
₹4,204
Modellbildung, Wissensrevision Und Wissensrepräsentation Im Maschinellen Lernen
Werner Emde
₹3,508
Hermann Minkowski Briefe an David Hilbert
H. Minkowski, L. Rüdenberg
₹3,508
Erweiterung Relationaler Datenbanksysteme Für Technische Anwendungen
Andreas Meier
₹3,508
Bericht Über Die II. Internationale Tagung Für Brückenbau Und Hochbau / Report of the 2nd International Congress for Bridge- And Structural Engineerin
Fr Bleich
₹3,508