Del 38
Fibring Logics
Dov M. Gabbay, London) Gabbay, Dov M. (Professor of Computer Science, Professor of Computer Science, King's College
Inbunden
1 989 kr
Logic for Artificial Intelligence and Information Technology
Häftad, Engelska, 2007
399 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2007-08-17
- Mått156 x 234 x 30 mm
- Vikt808 g
- FormatHäftad
- SpråkEngelska
- SerieTexts in Computer Science
- Antal sidor584
- FörlagCollege Publications
- ISBN9781904987390
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Del 46
Interpolation and Definability
Dov M. Gabbay, Larisa Maksimova, King's College London) Gabbay, Dov M. (, Department of Computer Science, Russia) Maksimova, Larisa (, Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk
Inbunden
3 629 kr
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Professor of Computing Science) Abramsky, S. (Professor of Computing Science, Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science, University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, all at the Imperial College of Science, Technology, and Medicine
Inbunden
7 979 kr
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations
Dov M. Gabbay, C. J. Hogger, J. A. Robinson, Technology and Medicine) Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) Hogger, C. J. (Department of Computing, Department of Computing, Imperial College of Science, New York) Robinson, J. A. (Department of Computing Science, Department of Computing Science, Syracuse University, Gabbay, Hogger, Robinson, Dov M. Gabbay, C. J. Hogger
Inbunden
7 069 kr
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Dov M. Gabbay, C. J. Hogger, J. A. Robinson, Technology and Medicine) Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) Hogger, C. J. (Department of Computing, Department of Computing, Imperial College of Science, New York) Robinson, J. A. (Department of Computing Science, Department of Computing Science, Syracuse University, Christopher J. Hogger
Inbunden
7 069 kr
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
Dov M. Gabbay, C. J. Hogger, J. A. Robinson, Technology and Medicine) Gabbay, Dov M. (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) Hogger, C. J. (Department of Computing, Department of Computing, Imperial College of Science, New York) Robinson, J. A. (Department of Computing Science, Department of Computing Science, Syracuse University, Christopher J. Hogger
Inbunden
7 789 kr
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures
Thomas S. E. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Reader in Computing Science) Abramsky, S. (Reader in Computing Science, Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science, University of London) Maibaum, T. S. E. (Professor of Computing Science, Professor of Computing Science, all at the Imperial College of Science, Technology, and Medicine, Samson Abramsky, D. M. Gabbay
Inbunden
7 789 kr
Handbook of Logic in Computer Science: Volume 3. Semantic Structures
Abramsky, Gabbay, Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, University of London) Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine
Inbunden
7 069 kr
Del 40
Temporal Logic: Volume 2
Dov M Gabbay, M. Finger, M. Reynolds, King's College London) Gabbay, Dov M (Department of Computer Science, Department of Computer Science, Australia) Finger, M. (Senior Lecturer in Computer Science, Senior Lecturer in Computer Science, Murdoch University, Brazil) Reynolds, M. (, Dept of Ciencia da ComputacaoUniv Sao Paulo, Dov M. Gabbay
Inbunden
4 779 kr
Del 28
Temporal Logic: Volume 1
Dov M. Gabbay, Ian Hodkinson, Mark Reynolds, Brazil) Reynolds, Mark (, Dept of Ciencia da ComputacaoUniv Sao Paulo
Inbunden
5 989 kr
Hoppa över listan
Mer från samma serie
Fundamentals of Computer Organization and Design
Sivarama P. Dandamudi, Sivarama P Dandamudi
Inbunden
1 379 kr
Hoppa över listan
Du kanske också är intresserad av
Del 148
Many-Dimensional Modal Logics: Theory and Applications
A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay
Inbunden
2 909 kr
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures
Thomas S. E. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, Reader in Computing Science) Abramsky, S. (Reader in Computing Science, Professor of Computing Science) Gabbay, Dov M. (Professor of Computing Science, University of London) Maibaum, T. S. E. (Professor of Computing Science, Professor of Computing Science, all at the Imperial College of Science, Technology, and Medicine, Samson Abramsky, D. M. Gabbay
Inbunden
7 789 kr
New Approach to Quantum Logic
Kurt Engesser, Dov M. Gabbay, Daniel Lehmann, K. Engesser, D. M. Gabbay, D. Lehmann
Häftad
339 kr
Handbook of Paraconsistency
Jean-Yves Beziau, Walter A. Carnielli, Dov M. Gabbay, J. Y. Beziau, W. Carnielli, D. M. Gabbay
Häftad
399 kr
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
Christopher John Hogger, Dov M. Gabbay, C.J. Hogger, J. A. Robinson, Professor of Computing) Gabbay, Dov M. (Professor of Computing, both t Imperial College) Hogger, C.J. (Department of Computing, Department of Computing, Syracuse University) Robinson, J. A. (Department of Computing, Department of Computing, D. M. Gabbay, C. Hogger
Inbunden
7 789 kr
Resolution of Conflicts and Normative Loops in the Talmud
M. Abraham, D. M. Gabbay, U. Schild
Inbunden
409 kr
Del 4
What is a Logical System?
D. M. Gabbay, University of London) Gabbay, D. M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine
Inbunden
3 139 kr
Second-order Quantifier Elimination
Dov Gabbay, Renate A. Schmidt, Andrzej Szalas, D. M. Gabbay, R. Schmidt, A. Szalas
Häftad
359 kr
Del 1
Agenda Relevance: A Study in Formal Pragmatics
Dov M., Gabbay, D. M., Gabbay, Dov M. Gabbay, John Woods
Inbunden
2 649 kr