Filteren
1
Sorteren
Pagina 2 van
75 resultaten
Serie: Applied logic series
gebondenEngels9780792341208
31-10-1996
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. Meer
gebondenEngels9780792342717
31-10-1996
- Donation refusal is high in all the regions of Argentina. - The deficient operative structure is a negative reality that allows inadequate donor maintenance and organ procurement. Meer
gebondenEngels9780792343455
30-11-1996
Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Meer
gebondenEngels9780792343769
31-1-1997
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 and Computation. Meer
gebondenEngels9780792341000
31-8-1996
We are happy to present to the reader the first book of our Applied Logic Series. Walton's book on the fallacies of ambiguity is firmly at the heart of practical reasoning, an important part of applied logic. Meer
gebondenEngels9780792347118
30-9-1997
Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. Meer
gebondenEngels9780792355359
31-3-1999
Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc. Meer
gebondenEngels9780792363507
31-7-2000
We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi cial intelligence. Meer
gebondenEngels9780792362500
30-4-2000
From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which we now call abduction and induction. Meer
gebondenEngels9780792362371
30-4-2000
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Meer
gebondenEngels9780792364733
31-8-2000
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. Meer
gebondenEngels9780792361497
31-12-1999
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 been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Meer
gebondenEngels9780792351290
30-6-1998
The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Meer
gebondenEngels9780792351306
30-6-1998
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Meer
gebondenEngels9780792351313
30-6-1998
We are invited to deal with mathematical activity in a sys tematic way [ . Meer
gebondenEngels9780792362616
30-4-2000
`Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or complement such functions. Meer
paperbackEngels9780792351320
30-6-1998
The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Meer
gebondenEngels9781402023347
9-6-2004
`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. Meer
gebondenEngels9781402024924
13-8-2004
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 not consciously aware of and that we share with the cat nearby which infers that the bird which she sees picking grains from the dirt, is able to fly. Meer
paperbackEngels9789048148974
6-12-2010
Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. Meer