1621. Reasoning about uncertainty
پدیدآورنده : / Joseph Y. Halpern
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Uncertainty (Information theory),Reasoning,Logic, Symbolic and mathematical
رده :
Q375
.
H35
2003
1622. Reasoning about uncertainty
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Uncertainty (Information theory) ; Reasoning ; Logic, Symbolic and mathematical ; Incertitude (th?orie de l'information) ; Logique symbolique et math?matique ; Raisonnement ;
1623. Reasoning about uncertainty
پدیدآورنده : / Joseph Y. Halpern
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Uncertainty (Information theory),Reasoning,Logic, Symbolic and mathematical
رده :
Q375
.
H35
2003
1624. Reasoning about uncertainty
پدیدآورنده : Halpern, Joseph Y.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Uncertainty )Information theory(,، Reasoning,، Logic, Symbolic and mathematical
رده :
Q375
.
H35
2003
1625. Reasoning about uncertainty
پدیدآورنده : / Joseph Y. Halpern
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Uncertainty (Information theory),Reasoning,Logic, Symbolic and mathematical
رده :
Q375
.
H35
2003
1626. Recent Advances in Applications of Computational and Fuzzy Mathematics /
پدیدآورنده : Snehashish Chakraverty, Sanjeewa Perera, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy logic.,Logic, Symbolic and mathematical.,Mathematics.,Fuzzy logic.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Mathematics.
رده :
QA9
.
64
1627. Recherches sur la déduction logique (Untersuchungen über das Logische Schliessen)
پدیدآورنده : Par Gerhard Gentzen; Traduction et commentaire par Robert Feys et Jean Ladriere
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical
1628. Recherches sur une logique de la pensee creatrice en mathematiques
پدیدآورنده : Maurice Melgne; Pref. de M. Georges Bouligand
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical.
1629. Recursive function theory and logic
پدیدآورنده : Yasuhara, Ann
کتابخانه: (طهران)
موضوع : ، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
248
.
5
.
Y38
1630. Recursive function theory and logic
پدیدآورنده : Yasuhara, Ann.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
248
.
5
.
Y36
1631. Reductive logic and proof-search : proof theory, semantics, and control
پدیدآورنده : Pym, David J.
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
P965R4
1632. Reductive logic and proof-search: proof theory, semantics, and control
پدیدآورنده : Pym, David J.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
P87
2004
1633. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
پدیدآورنده : edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
15
1634. Regles pour la direction de l'esprit
پدیدآورنده : [par] Descartes ;Traduction par J. Sirven
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Reasoning.,Logic, Symbolic and mathematical.
1635. Regulae ad directionem ingenii
پدیدآورنده : Rene Descartes; Texte de l'edition adam et tannery ; Notice par Henri Gouhier
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Reasoning.,Logic, Symbolic and mathematical.
1636. Relationale Datenbanken Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL
پدیدآورنده : Thomas Studer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Software engineering.
رده :
QA76
.
9
.
D3
T466
2016
1637. Remarques philosophiques, Edition posthume Due Aux soins de Rush Rhees Traduit de L'Allemand
پدیدآورنده : / Par Jacques Fauve
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Semantics (philosophy),Logic, Symbolic and mathematical,Mathematics - Philosophy
رده :
149
.
94
Wi-R
1638. Representation and reality in Wittgenstein's Tractatus
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : philosophicus (Wittgenstein, Ludwig) ; fast ; (-philosophicus. ; Logic, Symbolic and mathematical. ; Language and languages ; Philosophy. ; Tractatus logico-1951. ; Tractatus logico-Wittgenstein, Ludwig, ; 1889
1639. Representing and reasoning with probabilistic knowledge : a logical approach to probabilities
پدیدآورنده : Bacchus, Fahiem
کتابخانه: (طهران)
موضوع : ، Probabilities,، Logic, Symbolic and mathematical,، Artificial intelligence
رده :
QA
273
.
B24
1990
