Carregant...

Codi QR

Logics of programs

Dades bibliogràfiques
Autor principal:	rohit Parikh
Format:	Printed Book
Idioma:	English
Publicat:	Springer-Verlag 1985

Ítems similars

Logic of programming /
per: Hehner, Eric C. R.
Publicat: (1991)

Logic programming :
per: Deville, Yves
Publicat: (1986)

The logic of programming
per: Hehner, Eric C R; Author
Publicat: (1984)

The Logic of Programming/
per: Hehner,Eric C R.
Publicat: (1991)

Logic of programming
per: Hehner, Eric C R
Publicat: (1991)

Programming logic and techniques

Logic and prolog programming /
per: Kaushik,Saroj
Publicat: (2008)

Logic Programming and Databases
per: Stefano Ceri,G Gottolob,L Tanca
Publicat: (1990)

Logic tools for programming
per: Phlip Pace
Publicat: (1987)

foundations of logic programming
per: j w loyd
Publicat: (1984)

Programming logic techniques/
per: NIIT
Publicat: (1997)

Microprocessors and programmed logic/
per: Short, Kenneth L.
Publicat: (2004)

Microprocessors and programmed logic/
per: Short, Kenneth L
Publicat: (2004)

Inductive logic programming
per: Muggleton, Stephen
Publicat: (1992)

Constructing Logic Programs
per: Jacquet, Jean-marie
Publicat: (1993)

Logic Programming And Databases
per: Ceri, S
Publicat: (1990)

Microprocessors and programmed logic /
per: Short, Kenneth L.
Publicat: (1981)

Algebraic and logic programming
per: Hanus, Michael
Publicat: (1996)

Logic programming Functions,relations and equations /
per: Degroot, Doug
Publicat: (1986)

The logical basis for computer programming
per: Zohar Manna ,Richard Waldinger
Publicat: (1985)

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

Logical Programming with System/360
per: Stabley,Don H.
Publicat: (1970)

Fuzzy- logic- based Programming/:
per: Chang,Chin-Liang
Publicat: (1997)

Logic Programming and Knowledge Engineering
per: Tore Amble
Publicat: (1987)

Guide to Programming Logic and Design
per: Farrell, Joyce
Publicat: (2001)

Logical Basis for Computer Programming
per: Zohar Manna, Richard Waldinger
Publicat: (1990)

Advances in logic programming theory
per: Giorgio Levi
Publicat: (1994)

Programming logic and design, comprehensive
per: Farrell, Joyce
Publicat: (2011)

Programming with Higher-Order Logic /
per: Miller,, Dale
Publicat: (2012)

Micro-prolog: programming in logic /
per: Clark, K L
Publicat: (1987)

Fuzzy logic based programming
per: Chang, Chin-liang
Publicat: (1997)

Fuzzy Logic Based Programming
per: Chin-liang Chang
Publicat: (1997)

Micro-prolog: Programming In Logic
per: Clark, K L
Publicat: (1987)

Programming with Higher-order Logic
per: Miller, Dale Nadathur, Gopalan
Publicat: (2012)

Program Logics for Certified Compilers
per: Andrew W Appel
Publicat: (2014)

Fuzzy logic based programming /
per: Chang,Chin Liang
Publicat: (1997)

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

Object-oriented programming with C++
per: Khurana, Rohit
Publicat: (2008)

Object oriented programming with C++
per: Khurana, Rohit
Publicat: (2008)

Object Oriented Programming with C++
per: Rohit Khurana
Publicat: (2008)