1. Beyond Two: Theory and Applications of Multiple-Valued Logic
پدیدآورنده : edited by Melvin Fitting, Ewa Orłowska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Computer science.,Logic design.
2. Beyond two
پدیدآورنده : Melvin Fitting, Ewa Orlowska, editors
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Many-valued logic
رده :
{
1648
},
25b3b79dd6ba38a5d290a85cf331984b
3. Compability theory, Semantics, and logic programming
پدیدآورنده : Melvin C. Fitting
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Computable functions,Data structures (computer science)
رده :
QA
9
.
59
.
F58
1986
4. First-order logic and automated theorem proving
پدیدآورنده : Melvin Fitting.
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
,
F68
1990
5. First-order logic and automated theorem proving
پدیدآورنده : Fitting, Melvin, 2491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96F528
1990
6. First-order logic and automated theorem proving /
پدیدآورنده : Melvin Fitting.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
7. First-order logic and automated theorem proving
پدیدآورنده : Fitting, Melvin
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
.
F68
1996
8. First-order logic and automated theorem proving
پدیدآورنده : Melvin Fitting.
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
,
F68
1990
9. First-order modal logic
پدیدآورنده : Fitting, Melvin 2491-
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
199
.
M6
F5
1998
10. Fundamentals of generalized recursion theory
پدیدآورنده : Fitting, Melvin, 2491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
11. Fundamentals of generalized recursion theory
پدیدآورنده : Fitting, Melvin
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
12. Intuitionistic logic, model theory and forcing
پدیدآورنده : Fitting, Melvin
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
13. Intuitionistic logic, modlel theory and forcing
پدیدآورنده : / Melvin Chris Fitting
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Model theory,Axiomatic set theory
رده :
511
.
8
F547
14. Justification logic :
پدیدآورنده : Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City University of New York).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.
رده :
QA9
.
A78
2019
15. Proof methods for modal and intuitionistic logics
پدیدآورنده : Melvin Fitting ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathématiques intuitionnistes.,Modalité (logique),Théorie de la démonstration.
رده :
QA9
.
54
M458
2010
16. Types, Tableaus, and Gödel's God /
پدیدآورنده : by Melvin Fitting.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,Metaphysics.,Ontology.,Philosophy (General),Philosophy.,Logic.,Metaphysics.,Ontology.,Philosophy.
رده :
BC1-199
