Higher-Order Algebra, Logic, and Term Rewriting
Gilles Dowek, Jan Heering, Karl Meinke
₹5,586
Rewriting and Typed Lambda Calculi
Joint International Conferences
by Gilles Dowek
Springer Verlag · 2014
₹3,959
Free delivery. Nothing extra to pay at checkout.
- 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.
About this book
Rewriting and Typed Lambda Calculi: Joint International Conferences is written by Gilles Dowek. This edition from Springer Verlag (2014) has 491 pages.
Its main subjects are Computer science, Logic design, Algebra and Data processing.
Book details
- ISBN-13
- 9783319089171
- ISBN-10
- 331908917X
- Author
- Gilles Dowek
- Publisher
- Springer Verlag
- Published
- 2014
- Edition
- 2014 ed.
- Pages
- 491
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Gilles Dowek and related titles
Computation, Proof, Machine
Gilles Dowek, Pierre Guillot, Marion Roman
₹5,212
Principles of Programming Languages
Gilles Dowek
₹2,965
Models in Software Engineering
Juergen Dingel, Arnor Solberg
₹5,609
Theorem Proving in Higher Order Logics
TPHOLs '98 (1998 Canberra, A.C.T.)
₹4,307
Hybrid Systems
Rajeev Alur
₹8,177
Logic and Computer Design Fundamentals, Global Edition
Morris Mano, Charles Kime, Tom Martin
₹6,828
Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
₹4,286
Lisp, Lore, and Logic
W. Richard Stark
₹6,981
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
₹4,315
Extreme Programming and Agile Methods - Xp/Agile Universe 2004
Carmen Zannier, Hakan Erdogmus, Lowell Lindstrom
₹5,498
Logic Synthesis for Asynchronous Controllers and Interfaces
Luciano Lavagno, M. Kishinevsky, A. Kondratyev, Alex Yakovlev, J. Cortadella
₹7,727