Impossible Minds
Igor Aleksander
₹4,893
Termination Proofs for Logic Programs
by Lutz Plümer
Springer · 1990
₹5,449
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
Termination Proofs for Logic Programs is written by Lutz Plümer. This edition from Springer (1990) has 142 pages. The book is part of the Lecture notes in computer science series.
The book deals with Artificial intelligence and Logic programming.
Book details
- ISBN-13
- 9783540528371
- ISBN-10
- 3540528377
- Author
- Lutz Plümer
- Publisher
- Springer
- Published
- 1990
- Series
- Lecture notes in computer science
- Pages
- 142
- Language
- English
- Condition
- New
- Subject
- Artificial intelligence
More in Artificial intelligence
An Introduction to Programming in PROLOG
Patrick Saint-Dizier
₹3,074
Artificial Intelligence
Margaret A. Boden
₹8,870
Computational Intelligence
Kurosh Madani, Kevin Warwick
₹7,751
Parsing the Turing Test
Robert Epstein, Gary Roberts
₹17,502
Semantic Keyword-based Search on Structured Data Sources
Jorge Cardoso, Francesco Guerra, Geert-Jan Houben, Alexandre Miguel Pinto, Yannis Velegrakis
₹3,797
Artificial Intelligence
Charles Jennings
₹1,691
Artificial Intelligence
Tracy Abell
₹3,164
Metacognition in Learning and Instruction
Hope J. Hartman
₹7,744
Probabilistic and Statistical Methods in Computer Science
René Schott, Jean-François Mari
₹7,746
Adaptive Parsing
Jill Fain Lehman
₹7,743
Sensing Emotions
Joyce Westerink
₹7,731