281. Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings

پدیدآورنده :

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

موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L4
v
.
620

282. Logical foundations of computer science : 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6-12, 1997 : proceedigns

پدیدآورنده :

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

موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1234

283. Logical foundations of computer science : 4th international symposium, LFCS '97 Yaroslava, Russia, July 6-12, 1997 : proceedings

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

موضوع : ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
75
.
5
.
L64
1997

284. Logical foundations of computer science : third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

پدیدآورنده :

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

موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
813

285. Logical foundations of computer science : third international symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

پدیدآورنده :

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

موضوع : Computer science - Congresses , Logic, Symbolic and mathematical - Congresses

رده :
QA
75
.
5
.
L64
1994

286. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings

پدیدآورنده :

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

موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses

رده :
Q
334
.
E985
1990

287. Logics in artificial intelligence :

پدیدآورنده :

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

موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Artificial intelligence.,Logic, Symbolic and mathematical.

رده :
Q334

288. Logics in artificial intelligence

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)

موضوع : Artificial intelligence- Congresses,Logic, Symbolic and mathematical- Congresses

رده :
Q
,
334
,.
E985

289. Logics in artificial intelligence

پدیدآورنده :

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

موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.

290. Logics in artificial intelligence

پدیدآورنده :

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

موضوع : Artificial intelligence--Congresses,Logic, Symbolic and mathematical--Congresses

رده :
Q
,
334
,.
L64
,
2000
QA
,
76
,.
L4
,
no
.
1919

291. Logics in artificial intelligence

پدیدآورنده :

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

موضوع : Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses

رده :
Q334
.
J45
2012eb

292. Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October, 1998 : proceedings

پدیدآورنده :

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

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1489

293. Logics in artificial intelligence : European Workshop, JELIA 2000, Malaga, Spain, September 29 - October 2, 2000 : proceedings

پدیدآورنده :

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

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1919

294. Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings

پدیدآورنده :

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

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
3229

295. Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings

پدیدآورنده :

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

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
2424

296. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

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

موضوع : ، Computer programs-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
76
.
6
.
L5855
1985

297. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

پدیدآورنده :

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

موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
193

298. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

پدیدآورنده :

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

موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L4
v
.
193

299. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983

پدیدآورنده :

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

موضوع : Computer programs - Congresses,Logic, symbolic and mathematical - Congresses

رده :
QA76
.
6
.
L5855
1985

300. Mathematical logic and applications: Proceedings of the Logic Meeting held in Kyoto, 1987

پدیدآورنده :

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

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

رده :
QA
3
.
L28
no
.
1388