 |
|
|
Your search for "
SERIES like 'Applied Logic Series 15' " has
produced
76 results.
Total number of pages displayed: 8 |
| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
Proof Theory and Automated Deduction(Paperback)
Kluwer Academic Publishers
Published:
30/11/2001
Useful for final-year undergraduate and first-year post-graduate students, this book covers basic notions in logic, with a particular stress on proof theory. It shows how they are applied in compute...
|
In Stock:
None
| List Price:
|
£44.99 |
|
Our Price:
£39.37
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
2.
|
|
|
Logical and Computational Aspects of Model-Based Reasoning(Hardback)
Kluwer Academic Publishers
The study of diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with ...
|
|
|
3.
|
|
|
The Semantics and Proof Theory of the Logic of Bunched Impli...(Hardback)
Kluwer Academic Publishers
Published:
31/07/2002
Provides an account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuit...
|
|
|
4.
|
|
|
5.
|
|
|
Logical and Computational Aspects of Model-Based Reasoning(Paperback)
Kluwer Academic Publishers
Published:
30/09/2002
The study of diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with ...
|
|
|
6.
|
|
|
Thirty Five Years of Automating Mathematics(Hardback)
Kluwer Academic Publishers
Published:
30/11/2003
Consists of 11 articles which propose variations to or examples of mechanising mathematics and illustrate differ developments in symbolic computation. This book also includes an argumentation by Arn...
|
|
|
7.
|
|
|
A Modern Perspective on Type Theory(Hardback)
From Its Origins Until Today
Springer-Verlag New York Inc.
Published:
01/06/2004
Provides an overview of type theory. This title places historical systems in the modern setting. It deals with modern type theory as it developed since the 1940s, and with the role of propositions a...
|
|
|
8.
|
|
|
9.
|
|
|
Automated Model Building(Hardback)
Springer-Verlag New York Inc.
Published:
13/09/2004
Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deductio...
|
|
|
10.
|
|
|
The Death of Argument(Hardback)
Fallacies in Agent Based Reasoning
Springer-Verlag New York Inc.
Published:
03/11/2004
Develops logical analyses, which take into account such features of real-life cognitive agency as resource- availability and computational complexity. This book links the branches of logic with comp...
|
|
|
|
|
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|