登入選單
Google圖書搜尋
Justification Logic
作者
Sergei Artemov / Melvin Fitting
出版Cambridge University Press, 2019-05-02
ISBN
9781108424912 / 1108424910
主題
Mathematics
Intuitionistic Logic, Model Theory and Forcing
作者
Melvin Chris Fitting
出版1969
ISBN
OCLC:463041290
First-Order Modal Logic
作者
Melvin Fitting / Richard L. Mendelsohn
出版Springer Nature, 2023-10-18
ISBN
9783031407147 / 3031407148
主題
Philosophy
First-Order Logic and Automated Theorem Proving
作者
Melvin Fitting
出版Springer Science & Business Media, 2012-12-06
ISBN
9781461223603 / 1461223601
主題
Computers
Set Theory and the Continuum Problem
作者
Raymond M. Smullyan / Melvin Fitting
出版Oxford University Press, USA, 1996
ISBN
UOM:39015041010680
主題
Mathematics
Beyond Two: Theory and Applications of Multiple-Va...
作者
Melvin Fitting / Ewa Orlowska
出版Springer Science & Business Media, 2003-01-09
ISBN
3790815411 / 9783790815412
主題
Mathematics
Intuitionistic Logic, Model Theory and Forcing
作者
Melvin Fitting
出版North-Holland, 1969
ISBN
UOM:39015021269256
主題
Mathematics
First-Order Logic and Automated Theorem Proving
作者
Department of Mathematics and Computer Science Lehman College Melvin Fitting / Melvin Fitting
出版2012
ISBN
1468403591 / 9781468403596
主題
Artificial intelligence
Fundamentals of Generalized Recursion Theory
作者
Melvin Fitting
出版Elsevier, 1981
ISBN
9780444861719 / 0444861718
主題
Mathematics
Modal/multiple-valued Logics
作者
Melvin Fitting / City University of New York. Lehman College. Department of Mathematics and Computer Science
出版1990
ISBN
OCLC:606042131
Incompleteness in the Land of Sets
作者
Melvin Fitting
出版2007
ISBN
1904987346 / 9781904987345
主題
Incompleteness theorems
Bilattices and the Semantics of Logic Programming
作者
Melvin Fitting / City University of New York. Lehman College. Department of Mathematics and Computer Science
出版1989
ISBN
OCLC:606042145
Computability Theory, Semantics, and Logic Program...
作者
Melvin Fitting
出版Oxford University Press, USA, 1987
ISBN
UOM:39015011743922
主題
Biography & Autobiography
Numbers
作者
Melvin Fitting / Greer Fitting
出版2020-06-02
ISBN
1848903359 / 9781848903357
主題
Mathematics
Kleene's three valued logics and their children
作者
Melvin Fitting
出版1990
ISBN
OCLC:606042138
Fixpoint Semantics for Logic Programming a Survey
作者
Melvin Fitting
出版2018
ISBN
OCLC:1304408917
Bilattices in Logic Programming
作者
Melvin Fitting / City University of New York. Lehman College. Department of Mathematics and Computer Science
出版1990
ISBN
OCLC:606042183
Kleene's Logic, Generalized
作者
Melvin Fitting / City University of New York. Lehman College. Department of Mathematics and Computer Science
出版1990
ISBN
OCLC:606042127
Partial Models and Logic Programming
作者
Melvin Fitting
出版1986
ISBN
OCLC:606042179
A Tableau Based Automated Theorem Prover for Class...
作者
Melvin Fitting
出版1987
ISBN
OCLC:255976915
Well-founded Semantics, Generalized
作者
Melvin Fitting / City University of New York. Lehman College. Department of Mathematics and Computer Science
出版1991
ISBN
OCLC:606042118
Negation as Refutation
作者
Melvin Fitting / City University of New York. Lehman College. Department of Mathematics and Computer Science
出版1989*
ISBN
OCLC:606042148
In Praise of Simple Things
作者
Greer Fitting / Melvin Fitting
出版David McKay Company, 1975-01-01
ISBN
0679505113 / 9780679505112
主題
Agriculture
Bilattices and the Theory of Truth
作者
Melvin Fitting
出版1989
ISBN
OCLC:606042175
Intuitionostic Logic Model Theory and Forcing
出版1969
ISBN
OCLC:909088405
"Fitting In"
作者
Gilda Berger / Melvin Berger
出版1976
ISBN
0698203542 / 9780698203549
主題
Adaptation (Biology)
Basic Principles of Contact Lens Fitting
作者
Melvin I. Freeman
出版1993
ISBN
OCLC:630679394
Institutionistic Logic Model Theory and Forcing
作者
Melvin Chris Fitting
出版1969
ISBN
OCLC:256661795
A New Curve Fitting Program
作者
Melvin O. Brown / Associated Aero Science Laboratories / Naval Undersea Warfare Center (U.S.)
出版1968
ISBN
OCLC:243763637
主題
Underwater acoustics
Incompletetude Na Terra Dos Conjuntos
作者
Department of Mathematics and Computer Science Lehman College Melvin Fitting / Melvin Fitting / Jaime Ramos
出版2013-05
ISBN
1848901097 / 9781848901094
主題
Mathematics