81. Discrete structures, logic, and computability
پدیدآورنده : Hein, James L.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
رده :
QA
76
.
9
.
M35H43
2010
82. Distributed constraint logic programming
پدیدآورنده : Leung, Ho-Fung.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
83. Distributed constraint logic programming
پدیدآورنده : Leung, Ho-Fung.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
84. Entscheidungstabellen; Hilfsmittel zur entscheidungsfindung, dokumentation und programmierung
پدیدآورنده : Fischbach, Franz
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Decision logic tables
رده :
QA
76
.
6
.
F54
85. Essentials of logic programming
پدیدآورنده : Hogger, Christopher John
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
H64
1990
86. Evolving Knowledge Bases
پدیدآورنده : \ Joao Alexandra Leite
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming.,Expert systems (Computer science),برنامه‌نویسی منطقی.,سیستم‌های خبره (کامپیوتر),a03,a04,a03,a04
رده :
E-Book
,
87. Evolving knowledge base
پدیدآورنده : / Jo?uo Alexandre Leite
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic programming.,Expert systems (Computer science)
رده :
QA
,
76
.
63
,.
L48
,
2003eb
88. Evolving knowledge bases
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming. ; Expert systems (Computer science) ;
89. Evolving knowledge bases :
پدیدآورنده : João Alexandre Leite.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science),Logic programming.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Expert systems (Computer science),Logic programming.
رده :
QA76
.
63
.
L48
2003eb
90. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
رده :
QA
76
.
63
.
I566
1995
91. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده : Michael Fisher, Richard Owens )eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic programming,Congresses ، Prolog )Computer program language(
رده :
QA
76
.
63
I566
1995
92. Extensions of logic programming
پدیدآورنده : E. Lamma, P. Mello, eds.
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
93. Extensions of logic programming
پدیدآورنده : E. Lamma, P. Mello, eds.
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
94. Extensions of logic programming : International Workshop, Tubingen, FRG, December 8-10, 1989, Proceedings
پدیدآورنده : P. Schroeder-Heister, ed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
475
95. Extensions of logic programming : international workshop, Tubingen, FRG, December 8-10, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E97
1991
96. Extensions of logic programming : second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991: proceedings
پدیدآورنده : L.H. Eriksson, L. Hallnas, P. Schroeder-Heister )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
596
97. Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
پدیدآورنده : Roy Dyckhoff, Heirich Herre, Peter Schroeder-Heister )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1050
98. Extensions of logic programming : 4th International Workshop, ELP'93 St Andrews, U.K., March 29-April 1, 1993 : proceedings
پدیدآورنده : Roy Dyckhoff )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
798
99. Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
پدیدآورنده : ELP '29 )2991: Bologna, Italy(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E47
1992
100. Extensions of logic programming : third international workshop, ELP'92, Bologna, Italy, February 26-28, 1992 : proceedings
پدیدآورنده : E. Lamma, P. Mello, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
660
