Sanskrit Computational Linguistics
Gerard Huet
₹3,085
Logical Frameworks
by Gerard Huet, G. Plotkin
Cambridge University Press · 1991
₹5,243
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
Logical Frameworks is written by Gerard Huet & G. Plotkin. This edition from Cambridge University Press (1991) has 403 pages.
Topics covered include Logic, Frames (Information theory), Automatic theorem proving and Symbolic and mathematical Logic.
About the author: G. Plotkin (born 1946).
Book details
- ISBN-13
- 9780521413008
- ISBN-10
- 0521413001
- Authors
- Gerard Huet, G. Plotkin
- Publisher
- Cambridge University Press
- Author dates
- G. Plotkin (born 1946)
- Published
- 1991
- Pages
- 403
- Language
- English
- Condition
- New
More by Gerard Huet and related titles
Logical Foundations of Functional Programming
Gerard Huet
₹5,664
International Health and Aid Policies
Jean-Pierre Unger, Pierre De Paepe, Kasturi Sen
₹5,203
A History of Exile in the Roman Republic
Gordon P. Kelly
₹2,179
Longitudinal Research on Individual Development
David Magnusson, Paul Casaer
₹4,740
Government, Industry and Rearmament in Russia, 1900–1914
Peter Gatrell
₹6,018
Bolingbroke
Henry Bolingbroke
₹10,276
The Archaeology of the Iberian Peninsula
Katina T. Lillios
₹6,021
Religion in Mind
Jensine Andresen
₹4,638
Hegel's Concept of Action
Michael Quante, Dean Moyar
₹5,387
Family and Friends in Eighteenth-Century England
Naomi Tadmor
₹10,965
Isolation, Migration and Health
D. F. Roberts
₹14,768