The Clausal Theory of Types
D. A. Wolfram
₹3,298
The Clausal Theory of Types
₹5,410
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 book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and complete declarative and operational semantics.
Description supplied by the publisher.
Book details
- ISBN-13
- 9780521395380
- ISBN-10
- 0521395380
- Author
- D. A. Wolfram
- Publisher
- Cambridge University Press
- Condition
- New
More by D. A. Wolfram and related titles
Chica Da Silva
Junia Ferreira Furtado
₹3,227
The Impact of Napoleon
Brendan Simms, Simms Brendan
₹4,543
Thinking about Yugoslavia
Sabrina P. Ramet
₹3,955
Differentiable Germs and Catastrophes
Theodor Brocker, Brocker, Th Brocker
₹3,765
Jim Crow Moves North
Davison M. Douglas
₹3,272
Climate Change
Jonathan Cowie
₹5,414
On Nature and Language
Noam Chomsky, Adriana Belletti, Luigi Razzi
₹5,173
Excitations in a Bose-Condensed Liquid
Allan Griffin, A. M. Goldman, P. V. E. McClintock
₹5,102
Arguments of Augustan Wit
John Sitter
₹3,928
Social Capital in Developing Democracies
Leslie E. Anderson
₹4,142
Limit Order Books
Frédéric Abergel, Marouane Anane, Anirban Chakraborti
₹4,424