تحميل...

QR رمز

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)