1. Automated Reasoning
پدیدآورنده: / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses,Computer logic--Congresses
2. Computation, proof, machine :
پدیدآورنده: Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translated from the French by Pierre Guillot and Marion Roman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics-- History,Mathematics-- History-- 20th century,Mathematics, Ancient
3. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers
پدیدآورنده: Gilles Dowek ... ]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1074
4. Introduction to the Theory of Programming Languages
پدیدآورنده: / vyفJacques L-Gilles Dowek, Jean
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
5. Introduction to the theory of programming languages
پدیدآورنده: Gilles Dowek, Jean-Jacques Laevy,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming languages )Electronic computers(,Programming languages )Electronic computers(^aSemantics
رده :
QA
.
D6813
76
.
7
2011
6. Introduction to the theory of programming languages
پدیدآورنده: / Gilles Dowek, Jean-Jacques Laevy
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
D6813
,
2011
7. Introduction to the theory of programming languages, Introduction ?a la thaeorie des langages de programmation.English
پدیدآورنده: Dowek, Gilles., Gilles Dowek, Jean-Jacques Laevy
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Programming languages )Electronic computers(,، Programming languages )Electronic computers(, Semantics
رده :
QA
76
.
7
.
D6813
2011
8. Le temps des algorithmes
پدیدآورنده: Serge Abiteboul et Gilles Dowek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: [Ouvrages généraux]
9. Les métamorphoses du calcul :
پدیدآورنده: Gilles Dowek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
10. Principles of programming languages
پدیدآورنده: / Gilles Dowek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
D69
,
2009
11. Proofs and Algorithms
پدیدآورنده: / Gilles Dowek
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
12. Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده: Dowek, Gilles
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68
13. Proofs and Algorithms: an introduction to logic and computability
پدیدآورنده: Dowek, Gilles
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
رده :
QA
9
.
D68
2011
14. Proofs and algorithm
پدیدآورنده: / Gilles Dowek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.,Algorithms.
رده :
QA9
,.
D68
,
2011
15. Proofs and algorithms
پدیدآورنده: Gilles Dowek
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: Logic, Symbolic and mathematical,Algorithms
رده :
QA
9
.
D66P7
2011
16. Proofs and algorithms: An introduction to logic and computability
پدیدآورنده: / Gilles Dowek (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
17. Proofs and algorithms an introduction to logic and computability
پدیدآورنده: Dowek, Gilles., Gilles Dowek
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical,، Algorithms
رده :
QA
76
.
P7
D6
2011
18. Rewriting and Typed Lambda Calculi
پدیدآورنده: / Gilles Dowek
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
