21. Automated deduction in geometr

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books

رده :
QA448
.
D38
,
I58
2011

22. Automated deduction in geometry:

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

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

رده :
QA448
.
D38I577
1997

23. Automated deduction in geometry

پدیدآورنده :

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

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

رده :
QA
,
448
,.
D38
,
I577
,
1998

24. Automated deduction in geometry

پدیدآورنده :

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

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

رده :
QA
,
448
,.
D38
,
I577
,
2006

25. Automated deduction in geometry

پدیدآورنده :

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

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

رده :
QA
,
448
,.
D38
,
I577
,
2004

26. Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

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

رده :
QA
76
.
L28
Vol
.
1360

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

پدیدآورنده :

کتابخانه: (طهران)

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

رده :
QA
76
.
L28
Vol
.
1669

28. Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

پدیدآورنده :

کتابخانه: (طهران)

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

رده :
QA
76
.
L28
Vol
.
3763

29. Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

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

رده :
QA
448
.
D38
I577
2004

30. Automated deduction in geometry: 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

پدیدآورنده :

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

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

رده :
QA
448
.
D38
I577
2004

31. Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers

پدیدآورنده :

کتابخانه: (طهران)

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

رده :
QA
76
.
L28
Vol
.
2930

32. Automated deduction in geometry: 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002: revised papers

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

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

رده :
QA
448
.
D38
I577
2002

33. Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000: revised papers

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

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

رده :
QA
448
.
D38
.
I577
2000

34. Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

پدیدآورنده :

کتابخانه: (طهران)

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

رده :
QA
76
.
L28
Vol
.
2061

35. Automated reasoning

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

موضوع : Automatic theorem proving ; Congresses. ; Computer logic ; Congresses. ;

36. Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic

رده :
QA
76
.
L28
Vol
.
2083

37. Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic

رده :
QA
76
.
L28
Vol
.
3097

38. Automated reasoning : third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic

رده :
QA
76
.
L28
Vol
.
4130

39. Automated technology for verification and analysis :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses

رده :
QA76
.
9
.
A96
A88
2011

40. Automated technology for verification and analysis :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
A96