Đang tải...

Mã QR

Logics of programs

Chi tiết về thư mục
Tác giả chính:	rohit Parikh
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	Springer-Verlag 1985

Những quyển sách tương tự

Logic of programming /
Bằng: Hehner, Eric C. R.
Được phát hành: (1991)

Logic programming :
Bằng: Deville, Yves
Được phát hành: (1986)

The logic of programming
Bằng: Hehner, Eric C R; Author
Được phát hành: (1984)

The Logic of Programming/
Bằng: Hehner,Eric C R.
Được phát hành: (1991)

Logic of programming
Bằng: Hehner, Eric C R
Được phát hành: (1991)

Programming logic and techniques

Logic and prolog programming /
Bằng: Kaushik,Saroj
Được phát hành: (2008)

Logic Programming and Databases
Bằng: Stefano Ceri,G Gottolob,L Tanca
Được phát hành: (1990)

Logic tools for programming
Bằng: Phlip Pace
Được phát hành: (1987)

foundations of logic programming
Bằng: j w loyd
Được phát hành: (1984)

Programming logic techniques/
Bằng: NIIT
Được phát hành: (1997)

Microprocessors and programmed logic/
Bằng: Short, Kenneth L.
Được phát hành: (2004)

Microprocessors and programmed logic/
Bằng: Short, Kenneth L
Được phát hành: (2004)

Inductive logic programming
Bằng: Muggleton, Stephen
Được phát hành: (1992)

Constructing Logic Programs
Bằng: Jacquet, Jean-marie
Được phát hành: (1993)

Logic Programming And Databases
Bằng: Ceri, S
Được phát hành: (1990)

Microprocessors and programmed logic /
Bằng: Short, Kenneth L.
Được phát hành: (1981)

Algebraic and logic programming
Bằng: Hanus, Michael
Được phát hành: (1996)

Logic programming Functions,relations and equations /
Bằng: Degroot, Doug
Được phát hành: (1986)

The logical basis for computer programming
Bằng: Zohar Manna ,Richard Waldinger
Được phát hành: (1985)

Program logics for certified compilers /
Bằng: Appel, Andrew W., 1960-

Logical Programming with System/360
Bằng: Stabley,Don H.
Được phát hành: (1970)

Fuzzy- logic- based Programming/:
Bằng: Chang,Chin-Liang
Được phát hành: (1997)

Logic Programming and Knowledge Engineering
Bằng: Tore Amble
Được phát hành: (1987)

Guide to Programming Logic and Design
Bằng: Farrell, Joyce
Được phát hành: (2001)

Logical Basis for Computer Programming
Bằng: Zohar Manna, Richard Waldinger
Được phát hành: (1990)

Advances in logic programming theory
Bằng: Giorgio Levi
Được phát hành: (1994)

Programming logic and design, comprehensive
Bằng: Farrell, Joyce
Được phát hành: (2011)

Programming with Higher-Order Logic /
Bằng: Miller,, Dale
Được phát hành: (2012)

Micro-prolog: programming in logic /
Bằng: Clark, K L
Được phát hành: (1987)

Fuzzy logic based programming
Bằng: Chang, Chin-liang
Được phát hành: (1997)

Fuzzy Logic Based Programming
Bằng: Chin-liang Chang
Được phát hành: (1997)

Micro-prolog: Programming In Logic
Bằng: Clark, K L
Được phát hành: (1987)

Programming with Higher-order Logic
Bằng: Miller, Dale Nadathur, Gopalan
Được phát hành: (2012)

Program Logics for Certified Compilers
Bằng: Andrew W Appel
Được phát hành: (2014)

Fuzzy logic based programming /
Bằng: Chang,Chin Liang
Được phát hành: (1997)

The Logic programming paradigm : a 25-year perspective /
Được phát hành: (1999)

Object-oriented programming with C++
Bằng: Khurana, Rohit
Được phát hành: (2008)

Object oriented programming with C++
Bằng: Khurana, Rohit
Được phát hành: (2008)

Object Oriented Programming with C++
Bằng: Rohit Khurana
Được phát hành: (2008)

Cannot write session to /tmp/vufind_sessions/sess_kepojqk9buuftbqumehdqt2a3t