Guinness World Records by Craig Glenday
This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and their relevance to automatic-theorem proving and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.
Craig Glenday is an expert in vampire lore of the past few hundred years. He lives in England.
| SKU | Unavailable |
| ISBN 13 | 9780345534378 |
| ISBN 10 | 0345534379 |
| Title | Guinness World Records |
| Author | Craig Glenday |
| Series | Guinness Book Of Records |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Random House USA Inc |
| Year published | 2012-03-27 |
| Number of pages | 640 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |