International Health and Aid Policies
Jean-Pierre Unger, Pierre De Paepe, Kasturi Sen
₹5,203
Logical Frameworks
by Gerard Huet, G. Plotkin
₹5,243
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
This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and their relevance to automatic-theorem proving and consequently topics such as artificial intelligence.
Description supplied by the publisher.
Book details
- ISBN-13
- 9780521413008
- ISBN-10
- 0521413001
- Authors
- Gerard Huet, G. Plotkin
- Publisher
- Cambridge University Press
- Condition
- New
Related books
Longitudinal Research on Individual Development
David Magnusson, Paul Casaer
₹4,740
Religion in Mind
Jensine Andresen
₹4,638
Hegel's Concept of Action
Michael Quante, Dean Moyar
₹5,387
Notes on Life and Letters
Joseph Conrad, J. H. Stape, S. W. Reid
₹5,242
L-Functions and Galois Representations
David Burns, Kevin Buzzard, Jan Nekovář
₹4,991
Longitudinal and Panel Data
Edward W. Frees
₹5,145
Corruption and Reform in India
Jennifer Bussell
₹4,081
Pre-Eclampsia
Fiona Lyall, Michael Belfort
₹5,067
Linguistic Knowledge and Language Use
Benoît LeClercq
₹2,625
The Clinical Neuropsychiatry of Multiple Sclerosis
Anthony Feinstein
₹4,056
The Cambridge History of the Native Peoples of the Americas 2 Part Hardback Set
Richard E. W. Adams, Murdo J. MacLeod
₹4,592