کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابLogic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: ller, Andrei VoronkovیChristian G. Ferm
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: / Edmund M. Clarke, Andrei Voronkov
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: / Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: \ Martin Davis, ... [et al.] (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses,Computer science,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر
رده :
QA
75
.
5
.
L66
2015
E-Book
,
Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: Edmund M. Clarke, Andrei Voronkov
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: / ller, Andrei VoronkovیChristian G. Ferm
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: / Ken McMillan, Aart Middeldorp, Andrei Voronkov
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: Ken McMillan, Aart Middeldorp, Andrei Voronkov
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: rner, Andrei VoronkovوNikolaj Bj
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: / rner, Andrei VoronkovوNikolaj Bj
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Logic for programming, artificial intelligence, and reasoning :
پدیدآورنده: Edmund M. Clarke, Andrei Voronkov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Informatique.,Logic programming -- Congresses.,Logic programming.
Logic for programming, artificial intelligence, and reasoning
پدیدآورنده: / Franz Baader, Andrei Voronkov (eds.)
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Logic programming,Automatic theorem proving
رده :
QA
76
.
63
.
L735
2005
Logic for programming artificial intelligence and reasoning :
پدیدآورنده: Moshe Y. Vardi, Andrei Voronkov, eds.
کتابخانه: کتابخانه دانشکده مطالعات جهان (دانشگاه تهران) (تهران)
موضوع: Logic programming,Automatic theorem proving,Congresses.,Congresses.
رده :
QA76
.
63
.
L735
2003
Logic for programming, artificial intelligence, and reasoning
پدیدآورنده: / Franz Baader, Andrei Voronkov (eds.).
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic programming,Artificial intelligence, -- Congresses,-- Congresses,a04,a05
رده :
QA76
.
63
.
L735
2005
Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR
پدیدآورنده: Moshe Y. Vardi, Anderi Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2850
Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR
پدیدآورنده: Franz Baader, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3452
Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR
پدیدآورنده: Matthias Baaz, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2514
Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
پدیدآورنده: Robert Nieuwenhuis, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming
رده :
QA
76
.
L28
Vol
.
2250
Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR
پدیدآورنده: / Geoff Sutcliffe, Andrei Voronkov (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses
رده :
005
.
115
I61L
2005
May 1, 2010, Revised Selected Papersع۰ب16, Dakar, Senegal, April 25-Logic for Programming
پدیدآورنده: / Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
15, 2010. Proceedings-17, Yogyakarta, Indonesia, October 10-Logic for Programming, Artificial
پدیدآورنده: / ller, Andrei Voronkov (eds.)یKrishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Ferm
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
