Logics of programs

Opis bibliograficzny
1. autor:	rohit Parikh
Format:	Printed Book
Język:	English
Wydane:	Springer-Verlag 1985

Ładuje się......

Logic of programming /
od: Hehner, Eric C. R.
Wydane: (1991)

Ładuje się......

Logic programming :
od: Deville, Yves
Wydane: (1986)

Ładuje się......

The logic of programming
od: Hehner, Eric C R; Author
Wydane: (1984)

Ładuje się......

The Logic of Programming/
od: Hehner,Eric C R.
Wydane: (1991)

Ładuje się......

Logic of programming
od: Hehner, Eric C R
Wydane: (1991)

Ładuje się......

Programming logic and techniques

Ładuje się......

Logic and prolog programming /
od: Kaushik,Saroj
Wydane: (2008)

Ładuje się......

Logic Programming and Databases
od: Stefano Ceri,G Gottolob,L Tanca
Wydane: (1990)

Ładuje się......

Logic tools for programming
od: Phlip Pace
Wydane: (1987)

Ładuje się......

foundations of logic programming
od: j w loyd
Wydane: (1984)

Ładuje się......

Programming logic techniques/
od: NIIT
Wydane: (1997)

Ładuje się......

Microprocessors and programmed logic/
od: Short, Kenneth L.
Wydane: (2004)

Ładuje się......

Microprocessors and programmed logic/
od: Short, Kenneth L
Wydane: (2004)

Ładuje się......

Inductive logic programming
od: Muggleton, Stephen
Wydane: (1992)

Ładuje się......

Constructing Logic Programs
od: Jacquet, Jean-marie
Wydane: (1993)

Ładuje się......

Logic Programming And Databases
od: Ceri, S
Wydane: (1990)

Ładuje się......

Microprocessors and programmed logic /
od: Short, Kenneth L.
Wydane: (1981)

Ładuje się......

Algebraic and logic programming
od: Hanus, Michael
Wydane: (1996)

Ładuje się......

Logic programming Functions,relations and equations /
od: Degroot, Doug
Wydane: (1986)

Ładuje się......

The logical basis for computer programming
od: Zohar Manna ,Richard Waldinger
Wydane: (1985)

Ładuje się......

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

Ładuje się......

Logical Programming with System/360
od: Stabley,Don H.
Wydane: (1970)

Ładuje się......

Fuzzy- logic- based Programming/:
od: Chang,Chin-Liang
Wydane: (1997)

Ładuje się......

Logic Programming and Knowledge Engineering
od: Tore Amble
Wydane: (1987)

Ładuje się......

Guide to Programming Logic and Design
od: Farrell, Joyce
Wydane: (2001)

Ładuje się......

Logical Basis for Computer Programming
od: Zohar Manna, Richard Waldinger
Wydane: (1990)

Ładuje się......

Advances in logic programming theory
od: Giorgio Levi
Wydane: (1994)

Ładuje się......

Programming logic and design, comprehensive
od: Farrell, Joyce
Wydane: (2011)

Ładuje się......

Programming with Higher-Order Logic /
od: Miller,, Dale
Wydane: (2012)

Ładuje się......

Micro-prolog: programming in logic /
od: Clark, K L
Wydane: (1987)

Ładuje się......

Fuzzy logic based programming
od: Chang, Chin-liang
Wydane: (1997)

Ładuje się......

Fuzzy Logic Based Programming
od: Chin-liang Chang
Wydane: (1997)

Ładuje się......

Micro-prolog: Programming In Logic
od: Clark, K L
Wydane: (1987)

Ładuje się......

Programming with Higher-order Logic
od: Miller, Dale Nadathur, Gopalan
Wydane: (2012)

Ładuje się......

Program Logics for Certified Compilers
od: Andrew W Appel
Wydane: (2014)

Ładuje się......

Fuzzy logic based programming /
od: Chang,Chin Liang
Wydane: (1997)

Ładuje się......

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

Ładuje się......

Object-oriented programming with C++
od: Khurana, Rohit
Wydane: (2008)

Ładuje się......

Object oriented programming with C++
od: Khurana, Rohit
Wydane: (2008)

Ładuje się......

Object Oriented Programming with C++
od: Rohit Khurana
Wydane: (2008)

Logics of programs

Podobne zapisy

Podobne zapisy