| Herbert B. Enderton - Mathematics - 1972 - 295 pages
This book gives a mathematical treatment of the basic ideas and results of logic. It is intended to serve as a textbook for an introductory mathematics course in logic at the ... | |
| Madhavan Thirumalai - Artificial intelligence - 1990 - 72 pages
Abstract: "It is commonsense to conclude, in the absence of any statement to the contrary, that a particular instance of a certain class of objects is typical in that it has ... | |
| Colin Howson - Mathematics - 1997 - 234 pages
This collection of essays and reviews represents the most significant and comprehensive writing on Shakespeare's A Comedy of Errors. Miola's edited work also features a ... | |
| Antony Galton - Computers - 1990 - 312 pages
This introduction to logic as it applies to information technology is written specifically from the point of view of computer science students. The author's approach adheres to ... | |
| Fahiem Bacchus - Computers - 1990 - 264 pages
Probabilistic information has many uses in an intelligent system. This book explores logical formalisms for representing and reasoning with probabilistic information that will ... | |
| Dov M. Gabbay, Philippe Smets - Computers - 1998 - 350 pages
This volume deals with approaches to handling contradictory information. These include approaches for actual contradiction - both A and not-A can be proven from the information ... | |
| |