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)

Logics of programs

समान संसाधन

समान संसाधन