441. Recursive programing techniques
Author: / William H. Burge
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Recursive programming.,Combinatory logic.
Classification :
QA76
.
6
.
B87
1975
442. Recursive programming techniques
پدیدآورنده : Burge , William H
موضوع : ، Recursive programming,، Cimbinatroy logic
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
443. Recursive programming techniques
Author: / William H. Burge
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Recursive programming,Combinatory logic
Classification :
001
.
642
B945r
444. Recursive programming techniques
Author: Burge, William H
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Recursive programming,، Combinatory logic
Classification :
QA
76
.
6
.
B87
445. Solving higher-order equations: from logic to programming
Author: Prehofer, Christian
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
L63
.
P74
1997
446. Specification and verification of declarative open interaction models :
Author: Marco Montali
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence,Computer logic,Declarative programming languages,Information technology,Management information systems,Business
Classification :
QA76
.
9
.
L63
M66
2010
447. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
Author: Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
827
448. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
T4414
1994
449. Temporal logic : mathematical foundations and computational aspects
Author: Gabbay, Dov M.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming , Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
G27
1994
450. Temporal logic of programs
Author: Kroger, Fred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
451. Temporal logic of programs
Author: KROGER,FRED
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
QA
76
.
6
.
K753
452. Temporal logic of programs
Author: Kroger, Fred
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
453. Temporal logic of programs
Author: Kroger, Fred
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
454. Temporal logics : and their applications
Author: edited by Antony Galton
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
T46
1987
455. Termination proofs for logic programs
Author: Plumer, Lutz
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Artificial intelligence
Classification :
QA
76
.
63
.
P58
1990
456. Termination proofs for logic programs
Author: Plumer, Lutz
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
446
457. Termination proofs for logic programs /
Author: Lutz Plümer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic programming.
Classification :
QA76
.
63
.
P58
1990
458. The imperative future: principles of executable tomporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al[
موضوع : ، Computer software - Development,، Programming languages )Electronic computer(,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
459. The Logic programming paradigm :
Author: K.R. Apt [and others] eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Logisch programmeren.,Programmation logique.
Classification :
QA76
.
63
K737
1999
460. The deductive foundations of computer programming: a one-volume version of the logical basis for computer programming
Author: Manna, Zohar
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M35
