A carregar...

Código QR

Logics of programs

Detalhes bibliográficos
Autor principal:	rohit Parikh
Formato:	Printed Book
Idioma:	English
Publicado em:	Springer-Verlag 1985

Registos relacionados

Logic of programming /
Por: Hehner, Eric C. R.
Publicado em: (1991)

Logic programming :
Por: Deville, Yves
Publicado em: (1986)

The logic of programming
Por: Hehner, Eric C R; Author
Publicado em: (1984)

The Logic of Programming/
Por: Hehner,Eric C R.
Publicado em: (1991)

Logic of programming
Por: Hehner, Eric C R
Publicado em: (1991)

Programming logic and techniques

Logic and prolog programming /
Por: Kaushik,Saroj
Publicado em: (2008)

Logic Programming and Databases
Por: Stefano Ceri,G Gottolob,L Tanca
Publicado em: (1990)

Logic tools for programming
Por: Phlip Pace
Publicado em: (1987)

foundations of logic programming
Por: j w loyd
Publicado em: (1984)

Programming logic techniques/
Por: NIIT
Publicado em: (1997)

Microprocessors and programmed logic/
Por: Short, Kenneth L.
Publicado em: (2004)

Microprocessors and programmed logic/
Por: Short, Kenneth L
Publicado em: (2004)

Inductive logic programming
Por: Muggleton, Stephen
Publicado em: (1992)

Constructing Logic Programs
Por: Jacquet, Jean-marie
Publicado em: (1993)

Logic Programming And Databases
Por: Ceri, S
Publicado em: (1990)

Microprocessors and programmed logic /
Por: Short, Kenneth L.
Publicado em: (1981)

Algebraic and logic programming
Por: Hanus, Michael
Publicado em: (1996)

Logic programming Functions,relations and equations /
Por: Degroot, Doug
Publicado em: (1986)

The logical basis for computer programming
Por: Zohar Manna ,Richard Waldinger
Publicado em: (1985)

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

Logical Programming with System/360
Por: Stabley,Don H.
Publicado em: (1970)

Fuzzy- logic- based Programming/:
Por: Chang,Chin-Liang
Publicado em: (1997)

Logic Programming and Knowledge Engineering
Por: Tore Amble
Publicado em: (1987)

Guide to Programming Logic and Design
Por: Farrell, Joyce
Publicado em: (2001)

Logical Basis for Computer Programming
Por: Zohar Manna, Richard Waldinger
Publicado em: (1990)

Advances in logic programming theory
Por: Giorgio Levi
Publicado em: (1994)

Programming logic and design, comprehensive
Por: Farrell, Joyce
Publicado em: (2011)

Programming with Higher-Order Logic /
Por: Miller,, Dale
Publicado em: (2012)

Micro-prolog: programming in logic /
Por: Clark, K L
Publicado em: (1987)

Fuzzy logic based programming
Por: Chang, Chin-liang
Publicado em: (1997)

Fuzzy Logic Based Programming
Por: Chin-liang Chang
Publicado em: (1997)

Micro-prolog: Programming In Logic
Por: Clark, K L
Publicado em: (1987)

Programming with Higher-order Logic
Por: Miller, Dale Nadathur, Gopalan
Publicado em: (2012)

Program Logics for Certified Compilers
Por: Andrew W Appel
Publicado em: (2014)

Fuzzy logic based programming /
Por: Chang,Chin Liang
Publicado em: (1997)

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

Object-oriented programming with C++
Por: Khurana, Rohit
Publicado em: (2008)

Object oriented programming with C++
Por: Khurana, Rohit
Publicado em: (2008)

Object Oriented Programming with C++
Por: Rohit Khurana
Publicado em: (2008)