کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابComputation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
پدیدآورنده: edite by M. M. Richter, ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Proof theory
رده :
QA
1
.
L4
v
.
1104


Computation engineering: applied automata theory and logic
پدیدآورنده: / Ganesh Gopalakrishnan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK

Computation theory and logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Machine theory►Computational complexity►Rodding, D. -- (Dieter), -- 1937-
رده :
267
.
C588

Computation theory and logic
پدیدآورنده: Egon Borger )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Rodding, Dieter, 7391-
رده :
QA
76
.
L28
Vol
.
270


Domain Theory, Logic and Computation :
پدیدآورنده: edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2003

