1. Algebraic methods in general rough sets /
پدیدآورنده : A. Mani, Gianpiero Cattaneo, Ivo Düntsch, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Rough sets.,MATHEMATICS-- General.,Rough sets.
رده :
QA248
2. Algebraic semantics in language and philosophy
پدیدآورنده : Link, Godehard.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
P
240
.
8
.
L5
A4
1998
3. Fundamental Mathematical Structures of Quantum Theory :
پدیدآورنده : by Valter Moretti.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical physics.,Quantum theory.,Mathematical physics.,Quantum theory.
رده :
QC174
.
17
.
M35
M67
2019
4. General Lattice Theory
پدیدآورنده : by George Grätzer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Science (General),Science.
5. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
6. Lattices and Ordered Algebraic Structures
پدیدآورنده : by T.S. Blyth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.
7. Lukasiewicz-Moisil algebras /
پدیدآورنده : V. Boicescu [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Łukasiewicz algebras.,Łukasiewicz, Algèbres de.,Łukasiewicz algebras.,Lukasiewicz, algèbres de.,MATHEMATICS-- Algebra-- Intermediate.
رده :
QA10
.
L85
1991eb
8. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
9. Mathematics of Fuzzy Sets
پدیدآورنده : edited by Ulrich Höhle, Stephen Ernest Rodabaugh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.,Operations research.
10. Ordered Algebraic Structures
پدیدآورنده : edited by W. Charles Holland, Jorge Martinez.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Mathematics.,Topology.
11. Physical Theory as Logico-Operational Structure
پدیدآورنده : edited by C.A. Hooker.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Philosophy (General),Science -- Philosophy.
رده :
QC174
.
12
E358
1979
12. Quantum Logic
پدیدآورنده : by Peter Mittelstaedt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Science -- Philosophy.
رده :
B67
.
B974
1978
13. Residuated lattices : an algebraic glimpse at substructural logics
پدیدآورنده : Nikolaos Galatos ... ]et al.[
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Algebraic logic,، Lattice theory
رده :
QA
10
.
R47
2007
14. Rudiments of ]mu[-calculus
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Algebraic logic,، Monotonic functions,، Fixed point theory,، Lattice theory,، Machine theory
رده :
QA
10
.
A76
2001
15. Trees in Algebra and Programming - CAAP '96 :
پدیدآورنده : edited by Hélène Kirchner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers)
رده :
QA166
.
2
E358
1996
