Llwytho...

Côd QR

Logics of programs

Manylion Llyfryddiaeth
Prif Awdur:	rohit Parikh
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	Springer-Verlag 1985

Eitemau Tebyg

Logic of programming /
gan: Hehner, Eric C. R.
Cyhoeddwyd: (1991)

Logic programming :
gan: Deville, Yves
Cyhoeddwyd: (1986)

The logic of programming
gan: Hehner, Eric C R; Author
Cyhoeddwyd: (1984)

The Logic of Programming/
gan: Hehner,Eric C R.
Cyhoeddwyd: (1991)

Logic of programming
gan: Hehner, Eric C R
Cyhoeddwyd: (1991)

Programming logic and techniques

Logic and prolog programming /
gan: Kaushik,Saroj
Cyhoeddwyd: (2008)

Logic Programming and Databases
gan: Stefano Ceri,G Gottolob,L Tanca
Cyhoeddwyd: (1990)

Logic tools for programming
gan: Phlip Pace
Cyhoeddwyd: (1987)

foundations of logic programming
gan: j w loyd
Cyhoeddwyd: (1984)

Programming logic techniques/
gan: NIIT
Cyhoeddwyd: (1997)

Microprocessors and programmed logic/
gan: Short, Kenneth L.
Cyhoeddwyd: (2004)

Microprocessors and programmed logic/
gan: Short, Kenneth L
Cyhoeddwyd: (2004)

Inductive logic programming
gan: Muggleton, Stephen
Cyhoeddwyd: (1992)

Constructing Logic Programs
gan: Jacquet, Jean-marie
Cyhoeddwyd: (1993)

Logic Programming And Databases
gan: Ceri, S
Cyhoeddwyd: (1990)

Microprocessors and programmed logic /
gan: Short, Kenneth L.
Cyhoeddwyd: (1981)

Algebraic and logic programming
gan: Hanus, Michael
Cyhoeddwyd: (1996)

Logic programming Functions,relations and equations /
gan: Degroot, Doug
Cyhoeddwyd: (1986)

The logical basis for computer programming
gan: Zohar Manna ,Richard Waldinger
Cyhoeddwyd: (1985)

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

Logical Programming with System/360
gan: Stabley,Don H.
Cyhoeddwyd: (1970)

Fuzzy- logic- based Programming/:
gan: Chang,Chin-Liang
Cyhoeddwyd: (1997)

Logic Programming and Knowledge Engineering
gan: Tore Amble
Cyhoeddwyd: (1987)

Guide to Programming Logic and Design
gan: Farrell, Joyce
Cyhoeddwyd: (2001)

Logical Basis for Computer Programming
gan: Zohar Manna, Richard Waldinger
Cyhoeddwyd: (1990)

Advances in logic programming theory
gan: Giorgio Levi
Cyhoeddwyd: (1994)

Programming logic and design, comprehensive
gan: Farrell, Joyce
Cyhoeddwyd: (2011)

Programming with Higher-Order Logic /
gan: Miller,, Dale
Cyhoeddwyd: (2012)

Micro-prolog: programming in logic /
gan: Clark, K L
Cyhoeddwyd: (1987)

Fuzzy logic based programming
gan: Chang, Chin-liang
Cyhoeddwyd: (1997)

Fuzzy Logic Based Programming
gan: Chin-liang Chang
Cyhoeddwyd: (1997)

Micro-prolog: Programming In Logic
gan: Clark, K L
Cyhoeddwyd: (1987)

Programming with Higher-order Logic
gan: Miller, Dale Nadathur, Gopalan
Cyhoeddwyd: (2012)

Program Logics for Certified Compilers
gan: Andrew W Appel
Cyhoeddwyd: (2014)

Fuzzy logic based programming /
gan: Chang,Chin Liang
Cyhoeddwyd: (1997)

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

Object-oriented programming with C++
gan: Khurana, Rohit
Cyhoeddwyd: (2008)

Object oriented programming with C++
gan: Khurana, Rohit
Cyhoeddwyd: (2008)

Object Oriented Programming with C++
gan: Rohit Khurana
Cyhoeddwyd: (2008)

Cannot write session to /tmp/vufind_sessions/sess_q75ruse9icvo7etr15mvmaa6d8