- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Reeksen: boeken uit de reeks Applied Logic
-
Goal-Directed Proof Theory
Dov M Gabbay, N Olivetti
- Hardcover | Engels | Applied Logic | nr. 21
- Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to comp... Lees meer
€ 167,95Levering 1 à 2 weken€ 167,95Levering 1 à 2 weken -
Formal Aspects of Context
- Hardcover | Engels | Applied Logic | nr. 20
- We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and ... Lees meer
€ 153,95Levering 1 à 2 weken€ 153,95Levering 1 à 2 weken -
A Textbook of Belief Dynamics
Sven Ove Hansson
- Paperback | Engels | Applied Logic | nr. 11
- The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical to... Lees meer
€ 259,45Levering 2 à 3 weken€ 259,45Levering 2 à 3 weken -
Intellectics and Computational Logic
- Hardcover | Engels | Applied Logic | nr. 19
- `Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to w... Lees meer
€ 209,95Levering 1 à 2 weken€ 209,95Levering 1 à 2 weken -
Inference on the Low Level
Hannes Leitgeb
- Paperback | Engels | Applied Logic | nr. 30
- In contrast to the prevailing tradition in epistemology, the focus in this book is on low-level inferences, i.e., those inferences that we are usually... Lees meer
€ 259,45Levering 2 à 3 weken€ 259,45Levering 2 à 3 weken -
Proof Theory for Fuzzy Logics
George Metcalfe, Nicola Olivetti, Dov M Gabbay
- Paperback | Engels | Applied Logic | nr. 36
- The Semantic Basis.- Hilbert Systems.- Gentzen Systems.- Syntactic Eliminations.- Fundamental Logics.- Uniformity and Efficiency.- First-Order Logics.... Lees meer
€ 145,19Levering 1 à 2 weken€ 145,19Levering 1 à 2 weken -
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
- Paperback | Engels | Applied Logic | nr. 9
- 1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let ... Lees meer
€ 279,95Levering 1 à 2 weken€ 279,95Levering 1 à 2 weken -
Frontiers in Belief Revision
- Hardcover | Engels | Applied Logic | nr. 22
- Frontiers in Belief Revision is a unique collection of leading edge research in Belief Revision. It contains the latest innovative ideas of highly res... Lees meer
€ 223,95Levering 1 à 2 weken€ 223,95Levering 1 à 2 weken -
A Textbook of Belief Dynamics
Sven Ove Hansson
- Paperback | Engels | Applied Logic | nr. 11
- The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical to... Lees meer
€ 197,99Levering 1 à 2 weken€ 197,99Levering 1 à 2 weken -
Fuzzy Sets, Logics and Reasoning about Knowledge
- Paperback | Engels | Applied Logic | nr. 15
- Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebrai... Lees meer
€ 237,60Levering 1 à 2 weken€ 237,60Levering 1 à 2 weken -
What Is Negation?
- Paperback | Engels | Applied Logic | nr. 13
- The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subjected to thorough investigations in... Lees meer
€ 237,59Levering 1 à 2 weken€ 237,59Levering 1 à 2 weken -
Advances in Temporal Logic
- Paperback | Engels | Applied Logic | nr. 16
- Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has b... Lees meer
€ 259,45Levering 2 à 3 weken€ 259,45Levering 2 à 3 weken -
Multi-Dimensional Modal Logic
Maarten Marx, Yde Venema
- Paperback | Engels | Applied Logic | nr. 4
- Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intell... Lees meer
€ 145,19Levering 1 à 2 weken€ 145,19Levering 1 à 2 weken -
Advances in Temporal Logic
- Hardcover | Engels | Applied Logic | nr. 16
- Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has b... Lees meer
€ 259,45Levering 2 à 3 weken€ 259,45Levering 2 à 3 weken -
A Textbook of Belief Dynamics
Sven Ove Hansson
- Hardcover | Engels | Applied Logic | nr. 11
- The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical to... Lees meer
€ 209,95Levering 1 à 2 weken€ 209,95Levering 1 à 2 weken -
Proof Theory for Fuzzy Logics
George Metcalfe, Nicola Olivetti, Dov M Gabbay
- Hardcover | Engels | Applied Logic | nr. 36
- They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. Lees meer
€ 153,95Levering 1 à 2 weken€ 153,95Levering 1 à 2 weken -
An Introduction to Mathematical Logic and Type Theory
Peter B Andrews
- Paperback | Engels | Applied Logic | nr. 27
- In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information. This ... Lees meer
€ 152,95Levering 2 à 3 weken€ 152,95Levering 2 à 3 weken -
A Modern Perspective on Type Theory
F D Kamareddine, T Laan, Rob Nederpelt
- Hardcover | Engels | Applied Logic | nr. 29
- `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of function... Lees meer
€ 305,45Levering 2 à 3 weken€ 305,45Levering 2 à 3 weken -
Logic, Language and Computation
- Hardcover | Engels | Applied Logic | nr. 5
- The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language a... Lees meer
€ 153,95Levering 1 à 2 weken€ 153,95Levering 1 à 2 weken -
Fuzzy Sets, Logics and Reasoning about Knowledge
- Hardcover | Engels | Applied Logic | nr. 15
- Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebrai... Lees meer
€ 209,95Levering 1 à 2 weken€ 209,95Levering 1 à 2 weken -
The Death of Argument
J H Woods
- Paperback | Engels | Applied Logic | nr. 32
- The present work is a fair record of work I've done on the fallacies and related matters in the fifteen years since 1986. The book may be seen as a se... Lees meer
€ 221,45Levering 1 à 2 weken€ 221,45Levering 1 à 2 weken -
Labelled Deduction
- Hardcover | Engels | Applied Logic | nr. 17
- Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the lang... Lees meer
€ 153,95Levering 1 à 2 weken€ 153,95Levering 1 à 2 weken -
New Essays in Free Logic
- Hardcover | Engels | Applied Logic | nr. 23
- Free logic - i.e., logic free of existential presuppositions in general and with respect to singular terms in particular- began to come into its own a... Lees meer
€ 153,95Levering 1 à 2 weken€ 153,95Levering 1 à 2 weken -
Hybrid Logic and Its Proof-Theory
Torben Braüner
- Hardcover | Engels | Applied Logic | nr. 37
- Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof system... Lees meer
€ 145,19Levering 1 à 2 weken€ 145,19Levering 1 à 2 weken