Lanean...

QR Kodea

Logics of programs

Xehetasun bibliografikoak
Egile nagusia:	rohit Parikh
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	Springer-Verlag 1985

Antzeko izenburuak

Logic of programming /
nork: Hehner, Eric C. R.
Argitaratua: (1991)

Logic programming :
nork: Deville, Yves
Argitaratua: (1986)

The logic of programming
nork: Hehner, Eric C R; Author
Argitaratua: (1984)

The Logic of Programming/
nork: Hehner,Eric C R.
Argitaratua: (1991)

Logic of programming
nork: Hehner, Eric C R
Argitaratua: (1991)

Programming logic and techniques

Logic and prolog programming /
nork: Kaushik,Saroj
Argitaratua: (2008)

Logic Programming and Databases
nork: Stefano Ceri,G Gottolob,L Tanca
Argitaratua: (1990)

Logic tools for programming
nork: Phlip Pace
Argitaratua: (1987)

foundations of logic programming
nork: j w loyd
Argitaratua: (1984)

Programming logic techniques/
nork: NIIT
Argitaratua: (1997)

Microprocessors and programmed logic/
nork: Short, Kenneth L.
Argitaratua: (2004)

Microprocessors and programmed logic/
nork: Short, Kenneth L
Argitaratua: (2004)

Inductive logic programming
nork: Muggleton, Stephen
Argitaratua: (1992)

Constructing Logic Programs
nork: Jacquet, Jean-marie
Argitaratua: (1993)

Logic Programming And Databases
nork: Ceri, S
Argitaratua: (1990)

Microprocessors and programmed logic /
nork: Short, Kenneth L.
Argitaratua: (1981)

Algebraic and logic programming
nork: Hanus, Michael
Argitaratua: (1996)

Logic programming Functions,relations and equations /
nork: Degroot, Doug
Argitaratua: (1986)

The logical basis for computer programming
nork: Zohar Manna ,Richard Waldinger
Argitaratua: (1985)

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

Logical Programming with System/360
nork: Stabley,Don H.
Argitaratua: (1970)

Fuzzy- logic- based Programming/:
nork: Chang,Chin-Liang
Argitaratua: (1997)

Logic Programming and Knowledge Engineering
nork: Tore Amble
Argitaratua: (1987)

Guide to Programming Logic and Design
nork: Farrell, Joyce
Argitaratua: (2001)

Logical Basis for Computer Programming
nork: Zohar Manna, Richard Waldinger
Argitaratua: (1990)

Advances in logic programming theory
nork: Giorgio Levi
Argitaratua: (1994)

Programming logic and design, comprehensive
nork: Farrell, Joyce
Argitaratua: (2011)

Programming with Higher-Order Logic /
nork: Miller,, Dale
Argitaratua: (2012)

Micro-prolog: programming in logic /
nork: Clark, K L
Argitaratua: (1987)

Fuzzy logic based programming
nork: Chang, Chin-liang
Argitaratua: (1997)

Fuzzy Logic Based Programming
nork: Chin-liang Chang
Argitaratua: (1997)

Micro-prolog: Programming In Logic
nork: Clark, K L
Argitaratua: (1987)

Programming with Higher-order Logic
nork: Miller, Dale Nadathur, Gopalan
Argitaratua: (2012)

Program Logics for Certified Compilers
nork: Andrew W Appel
Argitaratua: (2014)

Fuzzy logic based programming /
nork: Chang,Chin Liang
Argitaratua: (1997)

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

Object-oriented programming with C++
nork: Khurana, Rohit
Argitaratua: (2008)

Object oriented programming with C++
nork: Khurana, Rohit
Argitaratua: (2008)

Object Oriented Programming with C++
nork: Rohit Khurana
Argitaratua: (2008)