181. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
182. Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : Proceedings
پدیدآورنده : John Gallagher )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1207
183. Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
پدیدآورنده : Maurizio Proietti )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1048
184. Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 1997 : Proceedings
پدیدآورنده : Norbert E. Fuchs
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1463
185. Logic programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses. ; Computer programming ; Congresses. ;
186. Logic programming
پدیدآورنده : Patricia M. Hill, David S. Warren (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming, Congresses
رده :
QA76
.
63
.
I57
2009eb
187. Logic programming '88 :
پدیدآورنده : K. Furukawa, H. Tanaka, T. Fujisaki (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming-- Congresses.
رده :
QA76
.
63
.
L63
1989
188. Logic programming
پدیدآورنده : / Veronica Dahl, Ilkka Niemel?n (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic programming--Congresses
رده :
QA
,
76
.
63
,
I55
,
2007
189. Logic programming: First Russian Conference on Logic Programming, Irkutsk, Russian, September 14-18, 1990: Second Russian Conference on logic Programming, St. Petersburg, Russian September 11-16, 1991: Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
R87
1990
190. Logic programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990: second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991: proceedings
پدیدآورنده : A. Voronkov )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
592
191. Logic programming'88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
پدیدآورنده : K. Furukawa, H. Tanaka, T. Fujisaki )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
383
192. Logic programming '86 : Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986
پدیدآورنده : Eiiti Wada, ed
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
264
193. Logic programming'87 : Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987
پدیدآورنده : K. Furukawa, H. Tanaka, T. Fujisaki )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
315
194. Logic programming and automated reasoning : International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992 :proceedings
پدیدآورنده : A. Voronkov, ed
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
624
195. Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses,، Automatic theorem proving-- Congresses
رده :
QA
76
.
63
.
I55
1992
196. Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
پدیدآورنده : LPAR, )1992 : Saint Petersburg, Russia(
کتابخانه: (طهران)
موضوع : Logic programming - Congresses , Automatic theorem proving - Congresses
رده :
QA
76
.
63
.
I55
1992
197. Logic programming and automated reasoning : 5th International Conference, LPAR'94 Kiev, Ukraine, July 16-22, 1994 : proceedings
پدیدآورنده : Frank Pfenning )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
822
198. Logic programming and automated reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993 : proceedings
پدیدآورنده : A. Voronkov, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
698
199. Logic programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
پدیدآورنده : Harald Ganzinger, David McAllester, Andrei Voronkov, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1705
200. Logic programming and knowledge representation : Third International Workshop, LPKR'97 : Port Jefferson, New York, USA, October 1997 : selected papers
پدیدآورنده : Jurgen Dix, Luis Moniz Pereira, Teodor C. Przymusinski )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Knowledge representation )Information theory(
رده :
QA
76
.
L28
Vol
.
1471
