1401. The L.E.J. Brouwer Centenary Symposium : proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981
پدیدآورنده: edited by A.S. Troelstra and D. Van Dalen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
1402. The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
پدیدآورنده: edited by A.S. Troelstra and D. van Dalen
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
1403. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
پدیدآورنده: A. Fuhrmann, M. Morreau )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
465
1404. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
L5663
1991
1405. The New Superconducting Electronics
پدیدآورنده: edited by Harold Weinstock, Richard W. Ralston.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Superconductors -- Congresses.,Superconductors.
1406. <The> Persian Gulf adminstration reports,BL,Berlin
پدیدآورنده: / ..which will be sold by auction by Sotheby & Co ,\ Saeed Mahmoodian ,\ ; Martin Ritli
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
1407. The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Methodology-- Congresses ، Science,Congresses ، Science-- Philosophy
رده :
Q
174
.
I58
1995
1408. The flight from science and reason /
پدیدآورنده: edited by Paul R. Gross, Norman Levitt, and Martin W. Lewis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Religion and science, Congresses.,Science-- Philosophy, Congresses.,Science-- Social aspects, Congresses.,Women in science, Congresses.,Science.,Sociology.,Ciencia-- Aspectos sociales.,Ciencia-- Filosofía.,Exacte wetenschappen.,Femmes dans les sciences-- Congrès.,Philosophie des sciences-- Congrès.,Religion and science.,Religion and science.,Religion et sciences-- Congrès.,Science-- Philosophy.,Science-- Philosophy.,Science-- Social aspects.,Science-- Social aspects.,Vrouwen.,Wetenschapsfilosofie.,Wetenschapssociologie.,Women in science.,Women in science.
رده :
Q175
.
F58
1997
1409. The gender dimension of social change :
پدیدآورنده: edited by Elisabetta Ruspini and Angela Dale.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Longitudinal method, Congresses.,Social change, Congresses.,Social policy, Congresses.,Women-- Social conditions, Congresses.,Changement social, Études transculturelles.,Femmes-- Conditions sociales, Études transculturelles.,Politique sociale, Études transculturelles.,Empirische Sozialforschung,Frauenforschung,Kongress,Längsschnittuntersuchung,Lebenslauf,Longitudinaal onderzoek.,Longitudinal method.,POLITICAL SCIENCE-- Public Policy-- Social Services & Welfare.,Social change.,Social policy.,SOCIAL SCIENCE-- Feminism & Feminist Theory.,Sociale verandering.,Vrouwen.,Women-- Social conditions.
رده :
HQ1154
.
G463
2002
1410. The practice turn in contemporary theory /
پدیدآورنده: edited by Theodore R. Schatzki, Karin Knorr Cetina, and Eike von Savigny.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Philosophy, Congresses.,Practice (Philosophy), Congresses.,Philosophy.,Practice (Philosophy)
رده :
B831
.
3
P33
2001eb
1411. The problem of inductive logic
پدیدآورنده: Edited by Imre Lakatos
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Logic
رده :
BC
91
.
I5
1412. The problem of reductionism in science : Colloquium of the Swiss Society of Logic and Philosophy of Science Zurich, May 18-19, 1990
پدیدآورنده: edited by Evandro Agazzi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Science -- Philosophy,Congresses ، Reductionism
رده :
Q
174
.
S389
1990
1413. The rise of British Logic . Acts of thye sixth European symosium on modieval logic and semantics balliol College Oxford 19-24 June 1983
پدیدآورنده: / edited by P. Osmund Lewry
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic -- Great Britian -- History -- Congresses,Logic Medieval -- Congresses
رده :
B
722
.
G7E97
1414. The rise of British logic :
پدیدآورنده: edited by P. Osmund Lewry
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic-- Great Britain-- History-- Congresses,Logic, Medieval-- Congresses
1415. The semantic web -- ISWC 2018 :
پدیدآورنده: Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
رده :
TK5105
.
88815
1416. <The> theory of models
پدیدآورنده: / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع:
رده :
BC135
،.
I5
1965
1417. The theory of models
پدیدآورنده: edited by J.W. Addison, Leon Henkin, Alfred Tarski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
1418. The theory of models; proceedings
پدیدآورنده:
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع: Logic Symbolic and mathematical models-Congresses
رده :
BC
135
.
I586
1419. The theory of models; proceedings
پدیدآورنده: Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
1420. Theorem proving in higher order logic
پدیدآورنده: / Stefan Berghofer ... [et al.] (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses
رده :
QA
,
76
.
9
,.
A96
,
T655
,
2009
