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

جستجوی کتاب

Automated Deduction : Proceedings

پدیدآورنده: M.E. Stickel )ed.(

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

449

Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

پدیدآورنده: Andrei Voronkov )ed.(

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

2392

Automated deduction - CADE-26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, proceedings

پدیدآورنده: Leonardo de Moura )ed.(

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع: ، Automatic theorem proving Congresses,، Logic, Symbolic and mathematical Congresses

رده :

QA

76

.

9

.

A96

2017

Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings

پدیدآورنده: Claude Kirchner, Helene Kirchner, )eds.(

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1421

Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

پدیدآورنده: Franz Baader )ed.(

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

2741

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings

پدیدآورنده: Alan Bundy )ed.(

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

814

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings

پدیدآورنده: David McAllester )ed.(

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1831

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 :proceedings

پدیدآورنده: D. Kapur, ed

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

607

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings

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

موضوع: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :

QA

76

.

9

.

A96

.

I57

1992

Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings

پدیدآورنده: Robert Nieuwenhuis )ed.(

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

3632

Automated deduction--CADE-16 : 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

پدیدآورنده: Harald Ganzinger )ed.(

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1632

Automated deduction, Cade-15: 15th International Conference on Automated Deduction,Lindau, Germany, July 5-10, 1998: proceedings

پدیدآورنده: Claude Kirchner, Helene Kirchner, ]editors[

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

9

.

A96

I57

1998

Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1998 : proceedings

پدیدآورنده: Xiao-Shan Gao, Dongming Wang, Lu Yang )eds.(

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

موضوع: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1669

Proceedings: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

9

.

A96

.

I57

1990

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988: Proceedings

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

موضوع: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :

QA

76

.

9

.

A96

.

I57

1988

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, proceedings

پدیدآورنده: E. Lusk, R. Overbeek )eds.(

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

310

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings

پدیدآورنده: edited by R.E. Shostak

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L4

v

.

170

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings

پدیدآورنده: edited by R.E. Shostak

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

170

8th International Conference on Automated Deduction : Oxford, England, July 27 - August 1, 1986: Proceedings

پدیدآورنده: edited by Jorg H. Siekmann

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

230

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings

پدیدآورنده: edited by Jorg H. Siekmann

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

موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L4

v

.

230

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است