登入選單
Google圖書搜尋
Logic, Language, and Reasoning
作者
Dov M. Gabbay
出版Springer Science & Business Media, 1999
ISBN
STANFORD:36105023662369
主題
Computers
Many-dimensional Modal Logics
作者
Dov M. Gabbay
出版2003
ISBN
0444508260 / 9780444508263
主題
Modality (Logic)
Fibring Logics
作者
Dov M. Gabbay
出版Clarendon Press, 1998-11-05
ISBN
9780191590108 / 019159010X
主題
Mathematics
A Practical Logic of Cognitive Systems
作者
Dov M. Gabbay / John Woods
出版Elsevier, 2005-05-02
ISBN
9780080460925 / 0080460925
主題
Psychology
Labelled Deductive Systems
作者
Dov M. Gabbay
出版1996
ISBN
UOM:39015038107531
主題
Language Arts & Disciplines
Many-Dimensional Modal Logics: Theory and Applicat...
作者
A. Kurucz / F. Wolter / M. Zakharyaschev / Dov M. Gabbay
出版Elsevier, 2003-10-21
ISBN
9780080535784 / 008053578X
主題
Computers
Quantification in Nonclassical Logic
作者
Dov M. Gabbay / Dimitrij Skvortsov / Valentin Shehtman
出版Elsevier, 2009-06-20
ISBN
9780080931128 / 008093112X
主題
Mathematics
Philosophy of Economics
出版Elsevier, 2012-04-23
ISBN
9780080930770 / 0080930778
主題
Philosophy
Handbook of the Logic of Argument and Inference
作者
R.H. Johnson / H.J. Ohlbach / Dov M. Gabbay / John Woods
出版Elsevier, 2002-09-11
ISBN
9780080532912 / 0080532918
主題
Computers
A Practical Logic of Cognitive Systems
作者
Dov M. Gabbay / John Woods
出版Elsevier Science, 2005-07-04
ISBN
044451791X / 9780444517913
主題
Mathematics
The Functional Interpretation of Logical Deduction
作者
Anjolina G. de Oliveira
出版World Scientific, 2012
ISBN
9789814360968 / 9814360961
主題
Computers
Interpolation and Definability
作者
Dov M. Gabbay / Larisa Maksimova
出版Clarendon Press, 2005-05-12
ISBN
9780191545351 / 019154535X
主題
Mathematics
A New Perspective on Nonmonotonic Logics
作者
Dov M. Gabbay / Karl Schlechta
出版Springer, 2016-11-05
ISBN
9783319468174 / 3319468170
主題
Mathematics
Semantical Investigations in Heyting's Intuitionis...
作者
Dov M. Gabbay
出版Springer Science & Business Media, 2013-11-11
ISBN
9789401729772 / 9401729778
主題
Philosophy
Goal-Directed Proof Theory
作者
Dov M. Gabbay / N. Olivetti
出版Springer Science & Business Media, 2000-08-31
ISBN
0792364732 / 9780792364733
主題
Philosophy
Revision, Acceptability and Context
作者
Dov M. Gabbay / Odinaldo T. Rodrigues / Alessandra Russo
出版Springer Science & Business Media, 2010-08-03
ISBN
9783642141591 / 3642141595
主題
Computers
Investigations in Modal and Tense Logics with Appl...
作者
Dov M. Gabbay
出版Springer Science & Business Media, 2012-12-06
ISBN
9789401014533 / 9401014531
主題
Philosophy
Neural-Symbolic Learning Systems
作者
Artur S. d'Avila Garcez / Krysia Broda / Dov M. Gabbay
出版Springer Science & Business Media, 2002-08-06
ISBN
1852335122 / 9781852335120
主題
Computers
Logic for Artificial Intelligence and Information ...
作者
Dov M. Gabbay
出版2007
ISBN
1904987397 / 9781904987390
主題
Computers
Neural-Symbolic Cognitive Reasoning
作者
Artur S. D'Avila Garcez / Luís C. Lamb / Dov M. Gabbay
出版Springer Science & Business Media, 2009
ISBN
9783540732457 / 3540732454
主題
Computers
Automated Deduction - A Basis for Applications Vol...
作者
Wolfgang Bibel / P.H. Schmitt
出版Springer Science & Business Media, 2013-03-09
ISBN
9789401704359 / 940170435X
主題
Philosophy
Proof Theory for Fuzzy Logics
作者
George Metcalfe / Nicola Olivetti / Dov M. Gabbay
出版Springer Science & Business Media, 2008-11-27
ISBN
9781402094095 / 1402094094
主題
Mathematics
Conditionals and Modularity in General Logics
作者
Dov M. Gabbay / Karl Schlechta
出版Springer Science & Business Media, 2011-08-19
ISBN
9783642190681 / 3642190685
主題
Mathematics
Temporal Logic
作者
Dov M. Gabbay / Hans J. Ohlbach
出版Springer Science & Business Media, 1994-06-29
ISBN
354058241X / 9783540582410
主題
Computers
Temporal Logic
作者
Dov M. Gabbay / Ian Hodkinson / Mark A. Reynolds
出版1994
ISBN
STANFORD:36105006077007
主題
Computers
Logical Tools for Handling Change in Agent-Based S...
作者
Dov M. Gabbay / Karl Schlechta
出版Springer Science & Business Media, 2010-03-03
ISBN
9783642044076 / 3642044077
主題
Computers
Practical Reasoning
作者
Dov M. Gabbay / Hans Jurgen Ohlbach
出版2014-01-15
ISBN
3662184982 / 9783662184981
A Practical Logic of Cognitive Systems
作者
Dov M. Gabbay / John Woods
出版Elsevier, 2005-05-02
ISBN
9780080460925 / 0080460925
主題
Psychology
Labelled Deductive Systems
作者
Dov M. Gabbay
出版1991
ISBN
OCLC:722452680
Handbook of the Logic of Argument and Inference
作者
R.H. Johnson / H.J. Ohlbach / Dov M. Gabbay / John Woods
出版Elsevier, 2002-09-11
ISBN
9780080532912 / 0080532918
主題
Computers