کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:

جستجوی کتاب

Logic programming and automated reasoning : International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992 :proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :
QA
76
.
L28
Vol
.
624

Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Logic programming-- Congresses,، Automatic theorem proving-- Congresses

رده :
QA
76
.
63
.
I55
1992

Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Logic programming - Congresses , Automatic theorem proving - Congresses

رده :
QA
76
.
63
.
I55
1992

Logic programming and automated reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :
QA
76
.
L28
Vol
.
698

Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
3668

Logic programming: 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005: proceedings

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع: Congresses ، Logic programming,Congrغs ، Programmation logique,، Logisch programmeren,، Programmation logique

رده :
QA
76
.
63
.
I563
2005