کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابHandbook of Logic in Computer Science
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
رده :
E-Book
,
Handbook of logic in computer science
پدیدآورنده: edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science , Logic, Symbolic and mathematical
رده :
QA
76
.
H2785
1992
Handbook of logic in computer science
پدیدآورنده: / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Logic, Symbolic and mathematical.
رده :
QA
,
76
,.
H2785
,
1992
Handbook of logic in computer science /
پدیدآورنده :
موضوع : ، Computer science,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
Handbook of logic in computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)
موضوع: etupmoCA ecneicS,igoLA,cilobmyS dna lacitamehtam
رده :
QA
76
.
H27
1992
Handbook of logic in computer science
پدیدآورنده: edited by S. Abramsky, Dor M. Gabba
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
H234
Handbook of logic in computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Computer science►Logic, Symbolic and mathematical
رده :
76
.
H2785
Handbook of logic in computer science
پدیدآورنده: edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
H27
1992
