Á lódáil...

QR Code

Logics of programs

Sonraí Bibleagrafaíochta
Príomhúdar:	rohit Parikh
Formáid:	Printed Book
Teanga:	English
Foilsithe:	Springer-Verlag 1985

Míreanna Comhchosúla

Logic of programming /
le: Hehner, Eric C. R.
Foilsithe: (1991)

Logic programming :
le: Deville, Yves
Foilsithe: (1986)

The logic of programming
le: Hehner, Eric C R; Author
Foilsithe: (1984)

The Logic of Programming/
le: Hehner,Eric C R.
Foilsithe: (1991)

Logic of programming
le: Hehner, Eric C R
Foilsithe: (1991)

Programming logic and techniques

Logic and prolog programming /
le: Kaushik,Saroj
Foilsithe: (2008)

Logic Programming and Databases
le: Stefano Ceri,G Gottolob,L Tanca
Foilsithe: (1990)

Logic tools for programming
le: Phlip Pace
Foilsithe: (1987)

foundations of logic programming
le: j w loyd
Foilsithe: (1984)

Programming logic techniques/
le: NIIT
Foilsithe: (1997)

Microprocessors and programmed logic/
le: Short, Kenneth L.
Foilsithe: (2004)

Microprocessors and programmed logic/
le: Short, Kenneth L
Foilsithe: (2004)

Inductive logic programming
le: Muggleton, Stephen
Foilsithe: (1992)

Constructing Logic Programs
le: Jacquet, Jean-marie
Foilsithe: (1993)

Logic Programming And Databases
le: Ceri, S
Foilsithe: (1990)

Microprocessors and programmed logic /
le: Short, Kenneth L.
Foilsithe: (1981)

Algebraic and logic programming
le: Hanus, Michael
Foilsithe: (1996)

Logic programming Functions,relations and equations /
le: Degroot, Doug
Foilsithe: (1986)

The logical basis for computer programming
le: Zohar Manna ,Richard Waldinger
Foilsithe: (1985)

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

Logical Programming with System/360
le: Stabley,Don H.
Foilsithe: (1970)

Fuzzy- logic- based Programming/:
le: Chang,Chin-Liang
Foilsithe: (1997)

Logic Programming and Knowledge Engineering
le: Tore Amble
Foilsithe: (1987)

Guide to Programming Logic and Design
le: Farrell, Joyce
Foilsithe: (2001)

Logical Basis for Computer Programming
le: Zohar Manna, Richard Waldinger
Foilsithe: (1990)

Advances in logic programming theory
le: Giorgio Levi
Foilsithe: (1994)

Programming logic and design, comprehensive
le: Farrell, Joyce
Foilsithe: (2011)

Programming with Higher-Order Logic /
le: Miller,, Dale
Foilsithe: (2012)

Micro-prolog: programming in logic /
le: Clark, K L
Foilsithe: (1987)

Fuzzy logic based programming
le: Chang, Chin-liang
Foilsithe: (1997)

Fuzzy Logic Based Programming
le: Chin-liang Chang
Foilsithe: (1997)

Micro-prolog: Programming In Logic
le: Clark, K L
Foilsithe: (1987)

Programming with Higher-order Logic
le: Miller, Dale Nadathur, Gopalan
Foilsithe: (2012)

Program Logics for Certified Compilers
le: Andrew W Appel
Foilsithe: (2014)

Fuzzy logic based programming /
le: Chang,Chin Liang
Foilsithe: (1997)

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

Object-oriented programming with C++
le: Khurana, Rohit
Foilsithe: (2008)

Object oriented programming with C++
le: Khurana, Rohit
Foilsithe: (2008)

Object Oriented Programming with C++
le: Rohit Khurana
Foilsithe: (2008)