261. Logical foundations of computer science : third international symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
پدیدآورنده : A. Nerode, Yuri V. Matiyasevich, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
L64
1994
262. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
پدیدآورنده : European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
263. Logics in artificial intelligence :
پدیدآورنده : Francesco Calimeri, Nicola Leone, Marco Manna (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Artificial intelligence.,Logic, Symbolic and mathematical.
رده :
Q334
264. Logics in artificial intelligence
پدیدآورنده : Jurgen Dix, Luis Farinas del Cerro, Ulrich Furbach (eds.)
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Artificial intelligence- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
,
334
,.
E985
265. Logics in artificial intelligence
پدیدآورنده : Sergio Flesca ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.
266. Logics in artificial intelligence
پدیدآورنده : Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
Q334
.
J45
2012eb
267. Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October, 1998 : proceedings
پدیدآورنده : Jurgen Dix, Luis Farinas del Cerro, Ulrich Furbach, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1489
268. Logics in artificial intelligence : European Workshop, JELIA 2000, Malaga, Spain, September 29 - October 2, 2000 : proceedings
پدیدآورنده : Manuel Ojeda-Aciego...]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1919
269. Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
پدیدآورنده : Jose Julio Alferes, Joao Leite )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3229
270. Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings
پدیدآورنده : Sergio Flesca ... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2424
271. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer programs-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
L5855
1985
272. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده : edited by Rohit Parikh
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
193
273. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده : edited by Rohit Parikh
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
193
274. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
پدیدآورنده : / Edited by Edmund Clarke, Dexter Kozen
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Computer programs - Congresses,Logic, symbolic and mathematical - Congresses
رده :
QA76
.
6
.
L5855
1985
275. Mathematical logic and applications: Proceedings of the Logic Meeting held in Kyoto, 1987
پدیدآورنده : J. Shinoda, T.A. Slaman, T. Tugue, eds.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1388
276. Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
پدیدآورنده : J. Shinoda, T.A. Slaman, T. Tugue, eds,Title
موضوع : Logic, Symbolic and mathematical - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
277. Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
پدیدآورنده : J. Shinoda, T. A. Slaman, T. Tugue, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
1388
278. Mathematical logic and applications. proceedings of the Logic Meeting held in Kyoto, 1987, Lecture notes in mathematics
پدیدآورنده : J. Shinoda, T.A. Slaman, T. Tugue )eds.(
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Logic, Symbolic and mathematical, Congresses
رده :
QA
3
.
M3
1989
279. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
پدیدآورنده : Ed. by Yehoshua Bar-Hillel
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
9
.
I56
1968
280. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, symbolic and mathematical-- Congresses
رده :
QA
9
.
I54
1968
