On to Smalltalk
Patrick Henry Winston
₹3,276
Proof Theory for Description Logics
Not Avail · 2014
₹3,265
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
Proof Theory for Description Logics by Alexandre Rademaker is a 108-page book published by Not Avail in 2014. The book is part of the SpringerBriefs in Computer Science series.
The book deals with Mathematical Logic and Formal Languages, Mathematics of Computing and Computer science.
Book details
- ISBN-13
- 9781447140023
- ISBN-10
- 1447140028
- Author
- Alexandre Rademaker
- Publisher
- Not Avail
- Published
- 2014
- Series
- SpringerBriefs in Computer Science
- Edition
- New ed.
- Pages
- 108
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More in Computers & Internet
Fundamentals of Game Design
Ernest Adams
₹5,511
Pandemic Detection and Analysis Through Smart Computing Technologies
Ram Shringar Raw, Vishal Jain, Sanjoy Das, Meenakshi Sharma
₹6,800
Peer-To-Peer with Vb .Net
Matthew MacDonald
₹3,059
Topics and Techniques in Distribution Testing
Clément L. Canonne
₹3,037
The Security Dimensions of the Syrian Civil War
₹5,819
Advanced Quantum Condensed Matter Physics
El-Batanouny
₹4,136
Safety Aspects of Computer Control
Marvin R. Brown, George F. Koob
₹4,536
New Advances in Distributed Computer Systems
K. G. Beauchamp
₹4,270
Reshaping of Dirac Cones in Topological Insulators and Graphene
Álvaro Díaz Fernández
₹4,977
Shakespeare, Computers, and the Mystery of Authorship
Hugh Craig, Arthur F. Kinney
₹5,179
Sensitive Periods of Brain Development and Preventive Interventions
Susan L. Andersen
₹13,859