Logics of programs

Détails bibliographiques
Auteur principal:	rohit Parikh
Format:	Printed Book
Langue:	English
Publié:	Springer-Verlag 1985

Chargement en cours...

Logic of programming /
par: Hehner, Eric C. R.
Publié: (1991)

Chargement en cours...

Logic programming :
par: Deville, Yves
Publié: (1986)

Chargement en cours...

The logic of programming
par: Hehner, Eric C R; Author
Publié: (1984)

Chargement en cours...

The Logic of Programming/
par: Hehner,Eric C R.
Publié: (1991)

Chargement en cours...

Logic of programming
par: Hehner, Eric C R
Publié: (1991)

Chargement en cours...

Programming logic and techniques

Chargement en cours...

Logic and prolog programming /
par: Kaushik,Saroj
Publié: (2008)

Chargement en cours...

Logic Programming and Databases
par: Stefano Ceri,G Gottolob,L Tanca
Publié: (1990)

Chargement en cours...

Logic tools for programming
par: Phlip Pace
Publié: (1987)

Chargement en cours...

foundations of logic programming
par: j w loyd
Publié: (1984)

Chargement en cours...

Programming logic techniques/
par: NIIT
Publié: (1997)

Chargement en cours...

Microprocessors and programmed logic/
par: Short, Kenneth L.
Publié: (2004)

Chargement en cours...

Microprocessors and programmed logic/
par: Short, Kenneth L
Publié: (2004)

Chargement en cours...

Inductive logic programming
par: Muggleton, Stephen
Publié: (1992)

Chargement en cours...

Constructing Logic Programs
par: Jacquet, Jean-marie
Publié: (1993)

Chargement en cours...

Logic Programming And Databases
par: Ceri, S
Publié: (1990)

Chargement en cours...

Microprocessors and programmed logic /
par: Short, Kenneth L.
Publié: (1981)

Chargement en cours...

Algebraic and logic programming
par: Hanus, Michael
Publié: (1996)

Chargement en cours...

Logic programming Functions,relations and equations /
par: Degroot, Doug
Publié: (1986)

Chargement en cours...

The logical basis for computer programming
par: Zohar Manna ,Richard Waldinger
Publié: (1985)

Chargement en cours...

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

Chargement en cours...

Logical Programming with System/360
par: Stabley,Don H.
Publié: (1970)

Chargement en cours...

Fuzzy- logic- based Programming/:
par: Chang,Chin-Liang
Publié: (1997)

Chargement en cours...

Logic Programming and Knowledge Engineering
par: Tore Amble
Publié: (1987)

Chargement en cours...

Guide to Programming Logic and Design
par: Farrell, Joyce
Publié: (2001)

Chargement en cours...

Logical Basis for Computer Programming
par: Zohar Manna, Richard Waldinger
Publié: (1990)

Chargement en cours...

Advances in logic programming theory
par: Giorgio Levi
Publié: (1994)

Chargement en cours...

Programming logic and design, comprehensive
par: Farrell, Joyce
Publié: (2011)

Chargement en cours...

Programming with Higher-Order Logic /
par: Miller,, Dale
Publié: (2012)

Chargement en cours...

Micro-prolog: programming in logic /
par: Clark, K L
Publié: (1987)

Chargement en cours...

Fuzzy logic based programming
par: Chang, Chin-liang
Publié: (1997)

Chargement en cours...

Fuzzy Logic Based Programming
par: Chin-liang Chang
Publié: (1997)

Chargement en cours...

Micro-prolog: Programming In Logic
par: Clark, K L
Publié: (1987)

Chargement en cours...

Programming with Higher-order Logic
par: Miller, Dale Nadathur, Gopalan
Publié: (2012)

Chargement en cours...

Program Logics for Certified Compilers
par: Andrew W Appel
Publié: (2014)

Chargement en cours...

Fuzzy logic based programming /
par: Chang,Chin Liang
Publié: (1997)

Chargement en cours...

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

Chargement en cours...

Object-oriented programming with C++
par: Khurana, Rohit
Publié: (2008)

Chargement en cours...

Object oriented programming with C++
par: Khurana, Rohit
Publié: (2008)

Chargement en cours...

Object Oriented Programming with C++
par: Rohit Khurana
Publié: (2008)

Logics of programs

Documents similaires

Documents similaires