Caricamento...

Codice QR

Logics of programs

Dettagli Bibliografici
Autore principale:	rohit Parikh
Natura:	Printed Book
Lingua:	English
Pubblicazione:	Springer-Verlag 1985

Documenti analoghi

Logic of programming /
di: Hehner, Eric C. R.
Pubblicazione: (1991)

Logic programming :
di: Deville, Yves
Pubblicazione: (1986)

The logic of programming
di: Hehner, Eric C R; Author
Pubblicazione: (1984)

The Logic of Programming/
di: Hehner,Eric C R.
Pubblicazione: (1991)

Logic of programming
di: Hehner, Eric C R
Pubblicazione: (1991)

Programming logic and techniques

Logic and prolog programming /
di: Kaushik,Saroj
Pubblicazione: (2008)

Logic Programming and Databases
di: Stefano Ceri,G Gottolob,L Tanca
Pubblicazione: (1990)

Logic tools for programming
di: Phlip Pace
Pubblicazione: (1987)

foundations of logic programming
di: j w loyd
Pubblicazione: (1984)

Programming logic techniques/
di: NIIT
Pubblicazione: (1997)

Microprocessors and programmed logic/
di: Short, Kenneth L.
Pubblicazione: (2004)

Microprocessors and programmed logic/
di: Short, Kenneth L
Pubblicazione: (2004)

Inductive logic programming
di: Muggleton, Stephen
Pubblicazione: (1992)

Constructing Logic Programs
di: Jacquet, Jean-marie
Pubblicazione: (1993)

Logic Programming And Databases
di: Ceri, S
Pubblicazione: (1990)

Microprocessors and programmed logic /
di: Short, Kenneth L.
Pubblicazione: (1981)

Algebraic and logic programming
di: Hanus, Michael
Pubblicazione: (1996)

Logic programming Functions,relations and equations /
di: Degroot, Doug
Pubblicazione: (1986)

The logical basis for computer programming
di: Zohar Manna ,Richard Waldinger
Pubblicazione: (1985)

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

Logical Programming with System/360
di: Stabley,Don H.
Pubblicazione: (1970)

Fuzzy- logic- based Programming/:
di: Chang,Chin-Liang
Pubblicazione: (1997)

Logic Programming and Knowledge Engineering
di: Tore Amble
Pubblicazione: (1987)

Guide to Programming Logic and Design
di: Farrell, Joyce
Pubblicazione: (2001)

Logical Basis for Computer Programming
di: Zohar Manna, Richard Waldinger
Pubblicazione: (1990)

Advances in logic programming theory
di: Giorgio Levi
Pubblicazione: (1994)

Programming logic and design, comprehensive
di: Farrell, Joyce
Pubblicazione: (2011)

Programming with Higher-Order Logic /
di: Miller,, Dale
Pubblicazione: (2012)

Micro-prolog: programming in logic /
di: Clark, K L
Pubblicazione: (1987)

Fuzzy logic based programming
di: Chang, Chin-liang
Pubblicazione: (1997)

Fuzzy Logic Based Programming
di: Chin-liang Chang
Pubblicazione: (1997)

Micro-prolog: Programming In Logic
di: Clark, K L
Pubblicazione: (1987)

Programming with Higher-order Logic
di: Miller, Dale Nadathur, Gopalan
Pubblicazione: (2012)

Program Logics for Certified Compilers
di: Andrew W Appel
Pubblicazione: (2014)

Fuzzy logic based programming /
di: Chang,Chin Liang
Pubblicazione: (1997)

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

Object-oriented programming with C++
di: Khurana, Rohit
Pubblicazione: (2008)

Object oriented programming with C++
di: Khurana, Rohit
Pubblicazione: (2008)

Object Oriented Programming with C++
di: Rohit Khurana
Pubblicazione: (2008)