Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz
₹5,561
From Semantics to Computer Science by Yves Bertot – Formal Semantics
essays in honour of Gilles Kahn
by Yves Bertot, Gérard Huet, Jean-Jacques Lévy
Cambridge University Press · 2009
₹4,169
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
Published by Cambridge University Press in 2009, From Semantics to Computer Science by Yves Bertot – Formal Semantics: essays in honour of Gilles Kahn by Yves Bertot, Gérard Huet & others runs to 574 pages.
Topics covered include Computer science, Semantics, Information technology and Computer scientists.
Book details
- ISBN-13
- 9780521518253
- ISBN-10
- 0521518253
- Authors
- Yves Bertot, Gérard Huet, Jean-Jacques Lévy
- Publisher
- Cambridge University Press
- Published
- 2009
- Edition
- 1st
- Pages
- 574
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Yves Bertot and related titles
Think Before You Compute
E. J. Hinch
₹8,208
Learning with Python
Chris Meyers, Jeffrey Elkner, Allen Downey
₹3,402
Mathematical Programming with Data Perturbations
Anthony V. Fiacco
₹16,560
Handbook of Attenuated Psychosis Syndrome Across Cultures
Huijun Li, Daniel I. Shapiro, Larry J. Seidman
₹2,742
A Practical Introduction to Electrical Circuits
John E. Ayers
₹24,426
Artificial Intelligence for Disease Diagnosis and Prognosis in Smart Healthcare (Hb 2023)
Ghita K. Mostefaoui, S. M. Riazul Islam, Faisal Tariq
₹5,263
Status Update
Alice E. Marwick
₹3,501
CliffsNotes® Making Microsoft® Windows® Me Work for You
Brian Underdahl
₹2,764
Windows Server 2008 R2 Hyper–V
John Kelbley, Mike Sterling
₹2,661
Philosophy of Computational Cultural Neuroscience
Joan Y. Chiao
₹3,514
Engineering Intelligent Systems
Barclay R. Brown
₹11,530