1. First-order dynamic logic
پدیدآورنده : Harel, David
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
6
.
H34
1979
2. First-order dynamic logic
پدیدآورنده : Harel, David
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L4
v
.
68
3. Introduction to logic programming
پدیدآورنده : Hogger, Christorpher John
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H624
1984
4. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
5. Temporal logic : mathematical foundations and computational aspects
پدیدآورنده : Gabbay, Dov M.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
6. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
7. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
8. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
9. The logical basis for computer programming
پدیدآورنده : Zohar Manna, Richard Waldinger
موضوع : Electronic digital computers--Programming,Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. The logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
11. The logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic digital computers- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
