Laddar...

QR-kod

Logics of programs

Bibliografiska uppgifter
Huvudupphovsman:	rohit Parikh
Materialtyp:	Printed Book
Språk:	English
Publicerad:	Springer-Verlag 1985

Liknande verk

Logic of programming /
av: Hehner, Eric C. R.
Publicerad: (1991)

Logic programming :
av: Deville, Yves
Publicerad: (1986)

The logic of programming
av: Hehner, Eric C R; Author
Publicerad: (1984)

The Logic of Programming/
av: Hehner,Eric C R.
Publicerad: (1991)

Logic of programming
av: Hehner, Eric C R
Publicerad: (1991)

Programming logic and techniques

Logic and prolog programming /
av: Kaushik,Saroj
Publicerad: (2008)

Logic Programming and Databases
av: Stefano Ceri,G Gottolob,L Tanca
Publicerad: (1990)

Logic tools for programming
av: Phlip Pace
Publicerad: (1987)

foundations of logic programming
av: j w loyd
Publicerad: (1984)

Programming logic techniques/
av: NIIT
Publicerad: (1997)

Microprocessors and programmed logic/
av: Short, Kenneth L.
Publicerad: (2004)

Microprocessors and programmed logic/
av: Short, Kenneth L
Publicerad: (2004)

Inductive logic programming
av: Muggleton, Stephen
Publicerad: (1992)

Constructing Logic Programs
av: Jacquet, Jean-marie
Publicerad: (1993)

Logic Programming And Databases
av: Ceri, S
Publicerad: (1990)

Microprocessors and programmed logic /
av: Short, Kenneth L.
Publicerad: (1981)

Algebraic and logic programming
av: Hanus, Michael
Publicerad: (1996)

Logic programming Functions,relations and equations /
av: Degroot, Doug
Publicerad: (1986)

The logical basis for computer programming
av: Zohar Manna ,Richard Waldinger
Publicerad: (1985)

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

Logical Programming with System/360
av: Stabley,Don H.
Publicerad: (1970)

Fuzzy- logic- based Programming/:
av: Chang,Chin-Liang
Publicerad: (1997)

Logic Programming and Knowledge Engineering
av: Tore Amble
Publicerad: (1987)

Guide to Programming Logic and Design
av: Farrell, Joyce
Publicerad: (2001)

Logical Basis for Computer Programming
av: Zohar Manna, Richard Waldinger
Publicerad: (1990)

Advances in logic programming theory
av: Giorgio Levi
Publicerad: (1994)

Programming logic and design, comprehensive
av: Farrell, Joyce
Publicerad: (2011)

Programming with Higher-Order Logic /
av: Miller,, Dale
Publicerad: (2012)

Micro-prolog: programming in logic /
av: Clark, K L
Publicerad: (1987)

Fuzzy logic based programming
av: Chang, Chin-liang
Publicerad: (1997)

Fuzzy Logic Based Programming
av: Chin-liang Chang
Publicerad: (1997)

Micro-prolog: Programming In Logic
av: Clark, K L
Publicerad: (1987)

Programming with Higher-order Logic
av: Miller, Dale Nadathur, Gopalan
Publicerad: (2012)

Program Logics for Certified Compilers
av: Andrew W Appel
Publicerad: (2014)

Fuzzy logic based programming /
av: Chang,Chin Liang
Publicerad: (1997)

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

Object-oriented programming with C++
av: Khurana, Rohit
Publicerad: (2008)

Object oriented programming with C++
av: Khurana, Rohit
Publicerad: (2008)

Object Oriented Programming with C++
av: Rohit Khurana
Publicerad: (2008)

Cannot write session to /tmp/vufind_sessions/sess_d9coco7lpcgg6pgvgr1v2pvnls