Perspectives of System Informatics
Andrei Voronkov
₹4,281
Logic Programming and Automated Reasoning
International Conference Lpar '92
Springer · 1992 · Paperback
₹5,639
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
Logic Programming and Automated Reasoning: International Conference Lpar '92 by Andrei Voronkov is a 509-page paperback edition published by Springer in 1992. It belongs to the Lecture notes in computer science series.
The book deals with Automatic theorem proving, Congresses, Logic programming and Artificial intelligence.
Book details
- ISBN-13
- 9783540557272
- ISBN-10
- 354055727X
- Author
- Andrei Voronkov
- Publisher
- Springer
- Published
- 1992
- Series
- Lecture notes in computer science
- Binding
- Paperback
- Pages
- 509
- Language
- English
- Condition
- New
- Subject
- Artificial intelligence
More by Andrei Voronkov and related titles
Rewriting Techniques and Applications
Andrei Voronkov
₹5,690
Automated Deduction - Cade-18
Andrei Voronkov
₹5,649
Perspectives of Systems Informatics
Andrei Voronkov, Irina Virbitskaite
₹5,647
Perspectives of System Informatics
Andrei Voronkov, Irina Virbitskaite
₹2,160
Logic Programming
Andrei Voronkov
₹5,642
Reasoning with Rules
Jaap Hage
₹15,934
Interrogative Phrases and the Syntax-Semantics Interface
I. Comorovski
₹7,752
LMI Approach to Analysis and Control of Takagi-Sugeno Fuzzysystem with Time Delay
Qing-Guo Wang, Yong He, Tong Heng Lee, Chong Lin
₹5,703
Ambient Intelligence
Carlos Ramos, Paulo Novais, Céline Ehrwein Nihan, Juan M. Corchado Rodríguez
₹11,547
Towards a Code of Ethics for Artificial Intelligence Research
Paula Boddington
₹4,008
Probabilistic and Statistical Methods in Computer Science
René Schott, Jean-François Mari
₹7,746