Loading...

QR Code

Logics of programs

Bibliographic Details
Main Author:	rohit Parikh
Format:	Printed Book
Language:	English
Published:	Springer-Verlag 1985

Similar Items

Logic of programming /
by: Hehner, Eric C. R.
Published: (1991)

Logic programming :
by: Deville, Yves
Published: (1986)

The logic of programming
by: Hehner, Eric C R; Author
Published: (1984)

The Logic of Programming/
by: Hehner,Eric C R.
Published: (1991)

Logic of programming
by: Hehner, Eric C R
Published: (1991)

Programming logic and techniques

Logic and prolog programming /
by: Kaushik,Saroj
Published: (2008)

Logic Programming and Databases
by: Stefano Ceri,G Gottolob,L Tanca
Published: (1990)

Logic tools for programming
by: Phlip Pace
Published: (1987)

foundations of logic programming
by: j w loyd
Published: (1984)

Programming logic techniques/
by: NIIT
Published: (1997)

Microprocessors and programmed logic/
by: Short, Kenneth L.
Published: (2004)

Microprocessors and programmed logic/
by: Short, Kenneth L
Published: (2004)

Inductive logic programming
by: Muggleton, Stephen
Published: (1992)

Constructing Logic Programs
by: Jacquet, Jean-marie
Published: (1993)

Logic Programming And Databases
by: Ceri, S
Published: (1990)

Microprocessors and programmed logic /
by: Short, Kenneth L.
Published: (1981)

Algebraic and logic programming
by: Hanus, Michael
Published: (1996)

Logic programming Functions,relations and equations /
by: Degroot, Doug
Published: (1986)

The logical basis for computer programming
by: Zohar Manna ,Richard Waldinger
Published: (1985)

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

Logical Programming with System/360
by: Stabley,Don H.
Published: (1970)

Fuzzy- logic- based Programming/:
by: Chang,Chin-Liang
Published: (1997)

Logic Programming and Knowledge Engineering
by: Tore Amble
Published: (1987)

Guide to Programming Logic and Design
by: Farrell, Joyce
Published: (2001)

Logical Basis for Computer Programming
by: Zohar Manna, Richard Waldinger
Published: (1990)

Advances in logic programming theory
by: Giorgio Levi
Published: (1994)

Programming logic and design, comprehensive
by: Farrell, Joyce
Published: (2011)

Programming with Higher-Order Logic /
by: Miller,, Dale
Published: (2012)

Micro-prolog: programming in logic /
by: Clark, K L
Published: (1987)

Fuzzy logic based programming
by: Chang, Chin-liang
Published: (1997)

Fuzzy Logic Based Programming
by: Chin-liang Chang
Published: (1997)

Micro-prolog: Programming In Logic
by: Clark, K L
Published: (1987)

Programming with Higher-order Logic
by: Miller, Dale Nadathur, Gopalan
Published: (2012)

Program Logics for Certified Compilers
by: Andrew W Appel
Published: (2014)

Fuzzy logic based programming /
by: Chang,Chin Liang
Published: (1997)

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

Object-oriented programming with C++
by: Khurana, Rohit
Published: (2008)

Object oriented programming with C++
by: Khurana, Rohit
Published: (2008)

Object Oriented Programming with C++
by: Rohit Khurana
Published: (2008)