181. Inductive logic programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005; proceedings
Author: Stefan Kramer, Bernhard Pfahringer )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic hypothesis formation,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3625
182. Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 2000 : proceedings
Author: James Cussens, Alan Frisch )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
1866
183. Inductive logic programming : 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
Author: David Page, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
1446
184. Inductive logic programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings
Author: Rui Camacho, Ross King, Ashwin Srinivasan )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3194
185. Inductive logic programming :11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings
Author: Celine Rouveirol, Michele Sebag )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2157
186. Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 1999 : proceedings
Author: Saso Dzeroski, Peter Flach )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Induction )Logic(
Classification :
QA
76
.
L28
Vol
.
1634
187. Inductive logic programming : 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
Author: Nada Lavrac, Saso Dzeroski, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
1297
188. Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, Angust 1996 : selected papers
Author: Stephen Muggleton, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
1314
189. Inductive logic programming: 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Automatic hypothesis formation
Classification :
QA
76
.
63
.
I52
2005
190. Inductive logic programming: 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005: proceedings
Author: / Stefan Kramer, Bernhard Pfahringer (eds.)
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic programming,Automatic hypothesis formation,-- Congresses,-- Congresses
Classification :
005
.
115
I42I
2005
191. Inductive logic programming: 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings
Author: Stefan Kramer, Bernhard Pfahringer )eds.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Automatic hypothesis formation
Classification :
QA
76
.
63
.
I52
2005
192. Inductive logic programming: 11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming
Classification :
QA
76
.
63
.
I52
2001
193. Inductive logic programming :12th international conference, ILP 2002, Sydney, Australia, July 2002 : revised papers
Author: Stan Matwin, Claude Sammut )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2583
194. Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings
Author: Tamas Horvath, Akihiro Yamamoto )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2835
195. Interactive relational database design : a logic programming implementation
Author: Tapan P. Bagchi, Vinay K. Chaudhri
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Database design,، Relational databases,، Logic programming
Classification :
QA
76
.
L28
Vol
.
402
196. Interactive relational database design: a logic programming implementation
Author: Bagchi, Tapan P.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Database design,، Relational databases,، Logic programming
Classification :
QA
76
.
9
.
D26
.
B34
1989
197. Interactive theory revision
Author: / Luc de Raedt
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Logic programming,environmental sciences,Expert systems (Computer science)
Classification :
QA
76
.
63
.
R34
1992
198. Interactive theory revision : an inductive logic programming approach
Author: Raedt, Luc de
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Machine learning,، Expert systems
Classification :
QA
76
.
63
.
R34
1992
199. Introduction to logic programming
Author: Christopher John Hogger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H64
1984
200. Introduction to logic programming
Author: Hogger, Christorpher John
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H624
1984
