载入...

QR Code

Logics of programs

书目详细资料
主要作者:	rohit Parikh
格式:	Printed Book
语言:	English
出版:	Springer-Verlag 1985

相似书籍

Logic of programming /
由: Hehner, Eric C. R.
出版: (1991)

Logic programming :
由: Deville, Yves
出版: (1986)

The logic of programming
由: Hehner, Eric C R; Author
出版: (1984)

The Logic of Programming/
由: Hehner,Eric C R.
出版: (1991)

Logic of programming
由: Hehner, Eric C R
出版: (1991)

Programming logic and techniques

Logic and prolog programming /
由: Kaushik,Saroj
出版: (2008)

Logic Programming and Databases
由: Stefano Ceri,G Gottolob,L Tanca
出版: (1990)

Logic tools for programming
由: Phlip Pace
出版: (1987)

foundations of logic programming
由: j w loyd
出版: (1984)

Programming logic techniques/
由: NIIT
出版: (1997)

Microprocessors and programmed logic/
由: Short, Kenneth L.
出版: (2004)

Microprocessors and programmed logic/
由: Short, Kenneth L
出版: (2004)

Inductive logic programming
由: Muggleton, Stephen
出版: (1992)

Constructing Logic Programs
由: Jacquet, Jean-marie
出版: (1993)

Logic Programming And Databases
由: Ceri, S
出版: (1990)

Microprocessors and programmed logic /
由: Short, Kenneth L.
出版: (1981)

Algebraic and logic programming
由: Hanus, Michael
出版: (1996)

Logic programming Functions,relations and equations /
由: Degroot, Doug
出版: (1986)

The logical basis for computer programming
由: Zohar Manna ,Richard Waldinger
出版: (1985)

Program logics for certified compilers /
由: Appel, Andrew W., 1960-

Logical Programming with System/360
由: Stabley,Don H.
出版: (1970)

Fuzzy- logic- based Programming/:
由: Chang,Chin-Liang
出版: (1997)

Logic Programming and Knowledge Engineering
由: Tore Amble
出版: (1987)

Guide to Programming Logic and Design
由: Farrell, Joyce
出版: (2001)

Logical Basis for Computer Programming
由: Zohar Manna, Richard Waldinger
出版: (1990)

Advances in logic programming theory
由: Giorgio Levi
出版: (1994)

Programming logic and design, comprehensive
由: Farrell, Joyce
出版: (2011)

Programming with Higher-Order Logic /
由: Miller,, Dale
出版: (2012)

Micro-prolog: programming in logic /
由: Clark, K L
出版: (1987)

Fuzzy logic based programming
由: Chang, Chin-liang
出版: (1997)

Fuzzy Logic Based Programming
由: Chin-liang Chang
出版: (1997)

Micro-prolog: Programming In Logic
由: Clark, K L
出版: (1987)

Programming with Higher-order Logic
由: Miller, Dale Nadathur, Gopalan
出版: (2012)

Program Logics for Certified Compilers
由: Andrew W Appel
出版: (2014)

Fuzzy logic based programming /
由: Chang,Chin Liang
出版: (1997)

The Logic programming paradigm : a 25-year perspective /
出版: (1999)

Object-oriented programming with C++
由: Khurana, Rohit
出版: (2008)

Object oriented programming with C++
由: Khurana, Rohit
出版: (2008)

Object Oriented Programming with C++
由: Rohit Khurana
出版: (2008)

Cannot write session to /tmp/vufind_sessions/sess_at999plhh90lppvlsabfc25c9i