Type-Logical Semantics
Bob Carpenter
₹5,380
The Logic of Typed Feature Structures
With Applications to Unification Grammars
by Bob Carpenter, C. J. Van Rijsbergen, Samson Abramsky
Cambridge University Press · 2005 · Paperback
₹5,593
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
The Logic of Typed Feature Structures: With Applications to Unification Grammars is written by Bob Carpenter, C. J. Van Rijsbergen & others. This paperback edition from Cambridge University Press (2005) has 278 pages.
Its main subjects are Data structures (computer science), Logic programming, Mathematical theory of computation and Data Modeling & Design.
Book details
- ISBN-13
- 9780521022545
- ISBN-10
- 0521022541
- Authors
- Bob Carpenter, C. J. Van Rijsbergen, Samson Abramsky
- Publisher
- Cambridge University Press
- Published
- 2005
- Edition
- New Ed edition
- Binding
- Paperback
- Pages
- 278
- Language
- English
- Condition
- New
More by Bob Carpenter and related titles
Automatic Verification Methods for Finite State Systems
Joseph Sifakis
₹5,573
Numerical Recipes 3rd Edition
Brian P. Flannery, William T. Vetterling, Saul A. Teukolsky, William H. Press
₹7,196
Automatic Sequences
Jean-Paul Allouche, Jeffrey Shallit
₹4,291
Theorem Proving in Higher Order Logics
Juris Hartmanis Gerhard Goos, Joakim Wright Jan Leeuwen, John Harrison Jim Grundy
₹3,391
Algebraic Methodology and Software Technology
Teodor Rus
₹4,122
Statistical Mechanics of Learning
A. Engel, C. Van den Broeck
₹4,831
Applications of Invariance in Computer Vision
Joseph L. Mundy, Andrew Zisserman, David Forsyth
₹5,642
The Logic of Typed Feature Structures
Robert L. Carpenter
₹3,935
Solitons
G. Eilenberger
₹7,745
Combinatorial Pattern Matching
Martin Farach-Colton
₹5,506
Advances in Cryptology - Eurocrypt '98
Kaisa Nyberg
₹5,686