241. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1730
242. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
پدیدآورنده : Vladimir Lifschitz, Ilkka Niemela )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2923
243. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2173
244. Logic programming and soft computing
پدیدآورنده : / edited by T.P. Martin and F. Arcelli Fontana
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic programming,Soft computing
رده :
QA76
.
63
.
L63234
1998
245. Logic programming and soft computing
پدیدآورنده : edited by T.P. Martin, F. Arcelli Fontana
کتابخانه: (سمنان)
موضوع : ، Logic programming,، Soft computing
رده :
QA
76
.
63
.
L63
246. Logic programming : formal methods and practical applications
پدیدآورنده : edited by Christoph Beierle, Lutz Plumer
کتابخانه: (طهران)
موضوع : Logic programming
رده :
QA
76
.
63
.
L63294
1995
247. Logic programming in action: Second international Logic programming summer school, LPSS'92: proceedings
پدیدآورنده : G. Comyn, N.E. Fuchs, M. Ratcliffe )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
636
248. Logic programming in action; Second international logic programming Summer School, LPSS'92, Zurich, Switzerland, September 7-11, 1992: Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L66
1992
249. Logic programming, knowledge representation, and nonmonotonic reasoning
پدیدآورنده : [edited by]& Marcello Balduccini, Tran Cao Son
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع :
250. Logic programming, knowledge representation, and nonmonotonic reasoning :
پدیدآورنده : Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Gelfond, Michael,Logic programming,Nonmonotonic reasoning
251. Logic programming '88: proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L63
1989
252. Logic programming with Prolog /
پدیدآورنده : Max Bramer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
253. Logical foundations for cognitive agents :
پدیدآورنده : Hector J. Levesque, Fiora Pirri (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer logic.,Intelligent agents (Computer software)
رده :
QA76
.
9
.
L63
H438
1999
254. Logics in AI : European Workshop JELIA'90, Amsterdam, the Netherlands, September 10-14, 1990 :proceedings
پدیدآورنده : J. Van Eijck )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic programming,Data processing -- Congresses ، Semantics,Congresses ، Logic, Symbolic and mathematical,Congresses ، Nonclassical mathematical logic
رده :
QA
76
.
L28
Vol
.
478
255. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
پدیدآورنده : European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
256. Logics in artificial intelligence :
پدیدآورنده : Francesco Calimeri, Nicola Leone, Marco Manna (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Artificial intelligence.,Logic, Symbolic and mathematical.
رده :
Q334
257. Logics in artificial intelligence :
پدیدآورنده : José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.,Computer science -- Congresses.
258. MICAI 2002 :
پدیدآورنده : Carlos A. Coello Coello [and others], (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.
259. Machine Learning:
پدیدآورنده : edited by Pavel B. Brazdil.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial Intelligence (incl. Robotics),Artificial intelligence.,Computer science.
رده :
Q325
.
5
E358
1993
260. Machine learning :
پدیدآورنده : Y. Kodratoff (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
