Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Applied Logic"
-
Goal-Directed Proof Theory
Dov M Gabbay, N Olivetti
- Livre relié | Anglais | Applied Logic | n° 21
- Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to comp... Savoir plus
167,95 €Livraison 1 à 2 semaines167,95 €Livraison 1 à 2 semaines -
Formal Aspects of Context
- Livre relié | Anglais | Applied Logic | n° 20
- We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and ... Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
A Textbook of Belief Dynamics
Sven Ove Hansson
- Livre broché | Anglais | Applied Logic | n° 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... Savoir plus
259,45 €Livraison 2 à 3 semaines259,45 €Livraison 2 à 3 semaines -
Intellectics and Computational Logic
- Livre relié | Anglais | Applied Logic | n° 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... Savoir plus
209,95 €Livraison 1 à 2 semaines209,95 €Livraison 1 à 2 semaines -
Frontiers in Belief Revision
- Livre relié | Anglais | Applied Logic | n° 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... Savoir plus
223,95 €Livraison 1 à 2 semaines223,95 €Livraison 1 à 2 semaines -
A Textbook of Belief Dynamics
Sven Ove Hansson
- Livre relié | Anglais | Applied Logic | n° 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... Savoir plus
209,95 €Livraison 1 à 2 semaines209,95 €Livraison 1 à 2 semaines -
Advances in Temporal Logic
- Livre relié | Anglais | Applied Logic | n° 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... Savoir plus
259,45 €Livraison 2 à 3 semaines259,45 €Livraison 2 à 3 semaines -
Proof Theory for Fuzzy Logics
George Metcalfe, Nicola Olivetti, Dov M Gabbay
- Livre relié | Anglais | Applied Logic | n° 36
- They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
Logic, Language and Computation
- Livre relié | Anglais | Applied Logic | n° 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... Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
Fuzzy Sets, Logics and Reasoning about Knowledge
- Livre relié | Anglais | Applied Logic | n° 15
- Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebrai... Savoir plus
209,95 €Livraison 1 à 2 semaines209,95 €Livraison 1 à 2 semaines -
A Modern Perspective on Type Theory
F D Kamareddine, T Laan, Rob Nederpelt
- Livre relié | Anglais | Applied Logic | n° 29
- `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of function... Savoir plus
305,45 €Livraison 2 à 3 semaines305,45 €Livraison 2 à 3 semaines -
Labelled Deduction
- Livre relié | Anglais | Applied Logic | n° 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... Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
New Essays in Free Logic
- Livre relié | Anglais | Applied Logic | n° 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... Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
Advances in Intensional Logic
- Livre relié | Anglais | Applied Logic | n° 7
- Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artifi... Savoir plus
209,95 €Livraison 1 à 2 semaines209,95 €Livraison 1 à 2 semaines -
Automated Model Building
Ricardo Caferra, Alexander Leitsch, Nicolas Peltier
- Livre relié | Anglais | Applied Logic | n° 31
- On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition ... Savoir plus
209,95 €Livraison 1 à 2 semaines209,95 €Livraison 1 à 2 semaines -
Thirty Five Years of Automating Mathematics
- Livre relié | Anglais | Applied Logic | n° 28
- THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before... Savoir plus
167,95 €Livraison 1 à 2 semaines167,95 €Livraison 1 à 2 semaines -
Logical and Computational Aspects of Model-Based Reasoning
- Livre broché | Anglais | Applied Logic | n° 25
- Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in... Savoir plus
167,95 €Livraison 2 à 3 semaines167,95 €Livraison 2 à 3 semaines -
Dynamic Worlds
- Livre relié | Anglais | Applied Logic | n° 12
- Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer inte... Savoir plus
153,95 €Livraison 1 à 2 semaines153,95 €Livraison 1 à 2 semaines -
Proof Theory of Modal Logic
- Livre relié | Anglais | Applied Logic | n° 2
- Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, be... Savoir plus
209,95 €Livraison 1 à 2 semaines209,95 €Livraison 1 à 2 semaines -
An Introduction to Mathematical Logic and Type Theory
Peter B Andrews
- Livre relié | Anglais | Applied Logic | n° 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 ... Savoir plus
139,95 €Livraison 1 à 2 semaines139,95 €Livraison 1 à 2 semaines -
Inference on the Low Level
Hannes Leitgeb
- Livre relié | Anglais | Applied Logic | n° 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... Savoir plus
259,45 €Livraison 2 à 3 semaines259,45 €Livraison 2 à 3 semaines -
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
- Livre relié | Anglais | Applied Logic | n° 9
- 1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let ... Savoir plus
279,45 €Livraison 1 à 2 semaines279,45 €Livraison 1 à 2 semaines -
The Semantics and Proof Theory of the Logic of Bunched Implications
David J Pym
- Livre relié | Anglais | Applied Logic | n° 26
- This is a monograph about logic. Specifically, it presents the mathe- matical theory of the logic of bunched implications, BI: I consider Bl's proof t... Savoir plus
259,45 €Livraison 2 à 3 semaines259,45 €Livraison 2 à 3 semaines -
What Is Negation?
- Livre relié | Anglais | Applied Logic | n° 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... Savoir plus
251,45 €Livraison 1 à 2 semaines251,45 €Livraison 1 à 2 semaines