Loading...

QR Code

Logics of programs

Bibliografiske detaljer
Hovedforfatter:	rohit Parikh
Format:	Printed Book
Sprog:	English
Udgivet:	Springer-Verlag 1985

Lignende værker

Logic of programming /
af: Hehner, Eric C. R.
Udgivet: (1991)

Logic programming :
af: Deville, Yves
Udgivet: (1986)

The logic of programming
af: Hehner, Eric C R; Author
Udgivet: (1984)

The Logic of Programming/
af: Hehner,Eric C R.
Udgivet: (1991)

Logic of programming
af: Hehner, Eric C R
Udgivet: (1991)

Programming logic and techniques

Logic and prolog programming /
af: Kaushik,Saroj
Udgivet: (2008)

Logic Programming and Databases
af: Stefano Ceri,G Gottolob,L Tanca
Udgivet: (1990)

Logic tools for programming
af: Phlip Pace
Udgivet: (1987)

foundations of logic programming
af: j w loyd
Udgivet: (1984)

Programming logic techniques/
af: NIIT
Udgivet: (1997)

Microprocessors and programmed logic/
af: Short, Kenneth L.
Udgivet: (2004)

Microprocessors and programmed logic/
af: Short, Kenneth L
Udgivet: (2004)

Inductive logic programming
af: Muggleton, Stephen
Udgivet: (1992)

Constructing Logic Programs
af: Jacquet, Jean-marie
Udgivet: (1993)

Logic Programming And Databases
af: Ceri, S
Udgivet: (1990)

Microprocessors and programmed logic /
af: Short, Kenneth L.
Udgivet: (1981)

Algebraic and logic programming
af: Hanus, Michael
Udgivet: (1996)

Logic programming Functions,relations and equations /
af: Degroot, Doug
Udgivet: (1986)

The logical basis for computer programming
af: Zohar Manna ,Richard Waldinger
Udgivet: (1985)

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

Logical Programming with System/360
af: Stabley,Don H.
Udgivet: (1970)

Fuzzy- logic- based Programming/:
af: Chang,Chin-Liang
Udgivet: (1997)

Logic Programming and Knowledge Engineering
af: Tore Amble
Udgivet: (1987)

Guide to Programming Logic and Design
af: Farrell, Joyce
Udgivet: (2001)

Logical Basis for Computer Programming
af: Zohar Manna, Richard Waldinger
Udgivet: (1990)

Advances in logic programming theory
af: Giorgio Levi
Udgivet: (1994)

Programming logic and design, comprehensive
af: Farrell, Joyce
Udgivet: (2011)

Programming with Higher-Order Logic /
af: Miller,, Dale
Udgivet: (2012)

Micro-prolog: programming in logic /
af: Clark, K L
Udgivet: (1987)

Fuzzy logic based programming
af: Chang, Chin-liang
Udgivet: (1997)

Fuzzy Logic Based Programming
af: Chin-liang Chang
Udgivet: (1997)

Micro-prolog: Programming In Logic
af: Clark, K L
Udgivet: (1987)

Programming with Higher-order Logic
af: Miller, Dale Nadathur, Gopalan
Udgivet: (2012)

Program Logics for Certified Compilers
af: Andrew W Appel
Udgivet: (2014)

Fuzzy logic based programming /
af: Chang,Chin Liang
Udgivet: (1997)

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

Object-oriented programming with C++
af: Khurana, Rohit
Udgivet: (2008)

Object oriented programming with C++
af: Khurana, Rohit
Udgivet: (2008)

Object Oriented Programming with C++
af: Rohit Khurana
Udgivet: (2008)