Lataa...

QR-koodi

Logics of programs

Bibliografiset tiedot
Päätekijä:	rohit Parikh
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	Springer-Verlag 1985

Samankaltaisia teoksia

Logic of programming /
Tekijä: Hehner, Eric C. R.
Julkaistu: (1991)

Logic programming :
Tekijä: Deville, Yves
Julkaistu: (1986)

The logic of programming
Tekijä: Hehner, Eric C R; Author
Julkaistu: (1984)

The Logic of Programming/
Tekijä: Hehner,Eric C R.
Julkaistu: (1991)

Logic of programming
Tekijä: Hehner, Eric C R
Julkaistu: (1991)

Programming logic and techniques

Logic and prolog programming /
Tekijä: Kaushik,Saroj
Julkaistu: (2008)

Logic Programming and Databases
Tekijä: Stefano Ceri,G Gottolob,L Tanca
Julkaistu: (1990)

Logic tools for programming
Tekijä: Phlip Pace
Julkaistu: (1987)

foundations of logic programming
Tekijä: j w loyd
Julkaistu: (1984)

Programming logic techniques/
Tekijä: NIIT
Julkaistu: (1997)

Microprocessors and programmed logic/
Tekijä: Short, Kenneth L.
Julkaistu: (2004)

Microprocessors and programmed logic/
Tekijä: Short, Kenneth L
Julkaistu: (2004)

Inductive logic programming
Tekijä: Muggleton, Stephen
Julkaistu: (1992)

Constructing Logic Programs
Tekijä: Jacquet, Jean-marie
Julkaistu: (1993)

Logic Programming And Databases
Tekijä: Ceri, S
Julkaistu: (1990)

Microprocessors and programmed logic /
Tekijä: Short, Kenneth L.
Julkaistu: (1981)

Algebraic and logic programming
Tekijä: Hanus, Michael
Julkaistu: (1996)

Logic programming Functions,relations and equations /
Tekijä: Degroot, Doug
Julkaistu: (1986)

The logical basis for computer programming
Tekijä: Zohar Manna ,Richard Waldinger
Julkaistu: (1985)

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

Logical Programming with System/360
Tekijä: Stabley,Don H.
Julkaistu: (1970)

Fuzzy- logic- based Programming/:
Tekijä: Chang,Chin-Liang
Julkaistu: (1997)

Logic Programming and Knowledge Engineering
Tekijä: Tore Amble
Julkaistu: (1987)

Guide to Programming Logic and Design
Tekijä: Farrell, Joyce
Julkaistu: (2001)

Logical Basis for Computer Programming
Tekijä: Zohar Manna, Richard Waldinger
Julkaistu: (1990)

Advances in logic programming theory
Tekijä: Giorgio Levi
Julkaistu: (1994)

Programming logic and design, comprehensive
Tekijä: Farrell, Joyce
Julkaistu: (2011)

Programming with Higher-Order Logic /
Tekijä: Miller,, Dale
Julkaistu: (2012)

Micro-prolog: programming in logic /
Tekijä: Clark, K L
Julkaistu: (1987)

Fuzzy logic based programming
Tekijä: Chang, Chin-liang
Julkaistu: (1997)

Fuzzy Logic Based Programming
Tekijä: Chin-liang Chang
Julkaistu: (1997)

Micro-prolog: Programming In Logic
Tekijä: Clark, K L
Julkaistu: (1987)

Programming with Higher-order Logic
Tekijä: Miller, Dale Nadathur, Gopalan
Julkaistu: (2012)

Program Logics for Certified Compilers
Tekijä: Andrew W Appel
Julkaistu: (2014)

Fuzzy logic based programming /
Tekijä: Chang,Chin Liang
Julkaistu: (1997)

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

Object-oriented programming with C++
Tekijä: Khurana, Rohit
Julkaistu: (2008)

Object oriented programming with C++
Tekijä: Khurana, Rohit
Julkaistu: (2008)

Object Oriented Programming with C++
Tekijä: Rohit Khurana
Julkaistu: (2008)

Cannot write session to /tmp/vufind_sessions/sess_lfq9j4rrl6o32vhdeqdnsbko2u