טוען...

QR Code

Logics of programs

מידע ביבליוגרפי
מחבר ראשי:	rohit Parikh
פורמט:	Printed Book
שפה:	English
יצא לאור:	Springer-Verlag 1985

פריטים דומים

Logic of programming /
מאת: Hehner, Eric C. R.
יצא לאור: (1991)

Logic programming :
מאת: Deville, Yves
יצא לאור: (1986)

The logic of programming
מאת: Hehner, Eric C R; Author
יצא לאור: (1984)

The Logic of Programming/
מאת: Hehner,Eric C R.
יצא לאור: (1991)

Logic of programming
מאת: Hehner, Eric C R
יצא לאור: (1991)

Programming logic and techniques

Logic and prolog programming /
מאת: Kaushik,Saroj
יצא לאור: (2008)

Logic Programming and Databases
מאת: Stefano Ceri,G Gottolob,L Tanca
יצא לאור: (1990)

Logic tools for programming
מאת: Phlip Pace
יצא לאור: (1987)

foundations of logic programming
מאת: j w loyd
יצא לאור: (1984)

Programming logic techniques/
מאת: NIIT
יצא לאור: (1997)

Microprocessors and programmed logic/
מאת: Short, Kenneth L.
יצא לאור: (2004)

Microprocessors and programmed logic/
מאת: Short, Kenneth L
יצא לאור: (2004)

Inductive logic programming
מאת: Muggleton, Stephen
יצא לאור: (1992)

Constructing Logic Programs
מאת: Jacquet, Jean-marie
יצא לאור: (1993)

Logic Programming And Databases
מאת: Ceri, S
יצא לאור: (1990)

Microprocessors and programmed logic /
מאת: Short, Kenneth L.
יצא לאור: (1981)

Algebraic and logic programming
מאת: Hanus, Michael
יצא לאור: (1996)

Logic programming Functions,relations and equations /
מאת: Degroot, Doug
יצא לאור: (1986)

The logical basis for computer programming
מאת: Zohar Manna ,Richard Waldinger
יצא לאור: (1985)

Program logics for certified compilers /
מאת: Appel, Andrew W., 1960-

Logical Programming with System/360
מאת: Stabley,Don H.
יצא לאור: (1970)

Fuzzy- logic- based Programming/:
מאת: Chang,Chin-Liang
יצא לאור: (1997)

Logic Programming and Knowledge Engineering
מאת: Tore Amble
יצא לאור: (1987)

Guide to Programming Logic and Design
מאת: Farrell, Joyce
יצא לאור: (2001)

Logical Basis for Computer Programming
מאת: Zohar Manna, Richard Waldinger
יצא לאור: (1990)

Advances in logic programming theory
מאת: Giorgio Levi
יצא לאור: (1994)

Programming logic and design, comprehensive
מאת: Farrell, Joyce
יצא לאור: (2011)

Programming with Higher-Order Logic /
מאת: Miller,, Dale
יצא לאור: (2012)

Micro-prolog: programming in logic /
מאת: Clark, K L
יצא לאור: (1987)

Fuzzy logic based programming
מאת: Chang, Chin-liang
יצא לאור: (1997)

Fuzzy Logic Based Programming
מאת: Chin-liang Chang
יצא לאור: (1997)

Micro-prolog: Programming In Logic
מאת: Clark, K L
יצא לאור: (1987)

Programming with Higher-order Logic
מאת: Miller, Dale Nadathur, Gopalan
יצא לאור: (2012)

Program Logics for Certified Compilers
מאת: Andrew W Appel
יצא לאור: (2014)

Fuzzy logic based programming /
מאת: Chang,Chin Liang
יצא לאור: (1997)

The Logic programming paradigm : a 25-year perspective /
יצא לאור: (1999)

Object-oriented programming with C++
מאת: Khurana, Rohit
יצא לאור: (2008)

Object oriented programming with C++
מאת: Khurana, Rohit
יצא לאור: (2008)

Object Oriented Programming with C++
מאת: Rohit Khurana
יצא לאור: (2008)