421. Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 1993 : proceedings
Author: International Symposium, PLILP '39 )5th: 3991: Tallinn, Estonia(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
Classification :
QA
76
.
7
.
I5773
1993
422. Programming language implementation and logic programming : 5th International Symposium, PLILP'93, Tallinn, Estonia, August 1993 : proceedings
Author: Maurice Bruynooghe, Jaan Penjam, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
714
423. Programming languages implementation and logic programming
Author: International Workshop PLILP '88 )8891: Orleans, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
Classification :
QA
76
.
7
.
I59
1988
424. Programming languages implementation and logic programming : International Workshop PLILP'88, Orleans, France, May 16-18, 1988, Proceedings
Author: P. Deransart, B. Lorho, J. Maluszynski )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
348
425. Programming languages : implementations, logics and programs: 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996 : proceedings
Author: Herbert Kuchen, S. Doaitse Swierstra )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
1140
426. Programming languages : implementations, logics and programs : 7th International Symposium, PLILP'95 Utrecht, The Netherlands, September 20 - 22, 1995 : proceedings
Author: Manuel Hermenegildo, S. Doaitse Swierstra )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
982
427. Programming logic and design
Author: / by Joyce Farrell
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic programming,Logic desin
Classification :
QA76
.
63
.
F25
2015
428. Programming logic and design :
Author: Joyce Farrell.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic design.,Logic programming.
Classification :
QA76
.
63
J693
2015
429. Programming with constraints: an introduction
Author: Marriott, Kim
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Constraint programming )Computer science(
Classification :
QA
76
.
63
.
M37
1998
430. Programming with higher-order logic /
Author: Dale Miller, Gopalan Nadathur.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Prolog (Computer program language)
Classification :
QA76
.
63
.
M554
2012
431. Programs from decision tabels
Author: / Edward Humby
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic digital computers - Programming,Decision logic tables
Classification :
001
.
6423
H919p
432. Programs from decision tables
Author: / E. Humby
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Electronic digital computers - Programming,Decision logic tables
Classification :
QA76
.
6
.
H85
433. Programs from decision tables
Author: Humby, E.)Edward(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer programming,، Decision logic tables
Classification :
QA
76
.
6
.
H85
1973
434. Prolog++ : the power of object-oriented and logic programming
Author: Moss, Christopher D. S.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Prolog++ )Computer program language(,، Object-oriented programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P2
.
M69
1994
435. Proof and computation
Author: edited by Helmut Schwichtenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
Classification :
QA76
.
63
E358
1995
436. Proof and computation
Author: edited by Helmut Schwichtenberg
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
P74
437. Reasoning with logic programming
Author: Alferes, Jose Julio
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Reasoning
Classification :
QA
76
.
L28
Vol
.
1111
438. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
Author: Krzysztof R. Apt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3010
439. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
Author: Boi Faltings... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3419
440. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Author: Barry O'Sullivan )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2627