Yüklüyor......

QR Kod

Logics of programs

Detaylı Bibliyografya
Yazar:	rohit Parikh
Materyal Türü:	Printed Book
Dil:	English
Baskı/Yayın Bilgisi:	Springer-Verlag 1985

Benzer Materyaller

Yüklüyor......

Logic of programming /
Yazar:: Hehner, Eric C. R.
Baskı/Yayın Bilgisi: (1991)

Yüklüyor......

Logic programming :
Yazar:: Deville, Yves
Baskı/Yayın Bilgisi: (1986)

Yüklüyor......

The logic of programming
Yazar:: Hehner, Eric C R; Author
Baskı/Yayın Bilgisi: (1984)

Yüklüyor......

The Logic of Programming/
Yazar:: Hehner,Eric C R.
Baskı/Yayın Bilgisi: (1991)

Yüklüyor......

Logic of programming
Yazar:: Hehner, Eric C R
Baskı/Yayın Bilgisi: (1991)

Yüklüyor......

Programming logic and techniques

Yüklüyor......

Logic and prolog programming /
Yazar:: Kaushik,Saroj
Baskı/Yayın Bilgisi: (2008)

Yüklüyor......

Logic Programming and Databases
Yazar:: Stefano Ceri,G Gottolob,L Tanca
Baskı/Yayın Bilgisi: (1990)

Yüklüyor......

Logic tools for programming
Yazar:: Phlip Pace
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

foundations of logic programming
Yazar:: j w loyd
Baskı/Yayın Bilgisi: (1984)

Yüklüyor......

Programming logic techniques/
Yazar:: NIIT
Baskı/Yayın Bilgisi: (1997)

Yüklüyor......

Microprocessors and programmed logic/
Yazar:: Short, Kenneth L.
Baskı/Yayın Bilgisi: (2004)

Yüklüyor......

Microprocessors and programmed logic/
Yazar:: Short, Kenneth L
Baskı/Yayın Bilgisi: (2004)

Yüklüyor......

Inductive logic programming
Yazar:: Muggleton, Stephen
Baskı/Yayın Bilgisi: (1992)

Yüklüyor......

Constructing Logic Programs
Yazar:: Jacquet, Jean-marie
Baskı/Yayın Bilgisi: (1993)

Yüklüyor......

Logic Programming And Databases
Yazar:: Ceri, S
Baskı/Yayın Bilgisi: (1990)

Yüklüyor......

Microprocessors and programmed logic /
Yazar:: Short, Kenneth L.
Baskı/Yayın Bilgisi: (1981)

Yüklüyor......

Algebraic and logic programming
Yazar:: Hanus, Michael
Baskı/Yayın Bilgisi: (1996)

Yüklüyor......

Logic programming Functions,relations and equations /
Yazar:: Degroot, Doug
Baskı/Yayın Bilgisi: (1986)

Yüklüyor......

The logical basis for computer programming
Yazar:: Zohar Manna ,Richard Waldinger
Baskı/Yayın Bilgisi: (1985)

Yüklüyor......

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

Yüklüyor......

Logical Programming with System/360
Yazar:: Stabley,Don H.
Baskı/Yayın Bilgisi: (1970)

Yüklüyor......

Fuzzy- logic- based Programming/:
Yazar:: Chang,Chin-Liang
Baskı/Yayın Bilgisi: (1997)

Yüklüyor......

Logic Programming and Knowledge Engineering
Yazar:: Tore Amble
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

Guide to Programming Logic and Design
Yazar:: Farrell, Joyce
Baskı/Yayın Bilgisi: (2001)

Yüklüyor......

Logical Basis for Computer Programming
Yazar:: Zohar Manna, Richard Waldinger
Baskı/Yayın Bilgisi: (1990)

Yüklüyor......

Advances in logic programming theory
Yazar:: Giorgio Levi
Baskı/Yayın Bilgisi: (1994)

Yüklüyor......

Programming logic and design, comprehensive
Yazar:: Farrell, Joyce
Baskı/Yayın Bilgisi: (2011)

Yüklüyor......

Programming with Higher-Order Logic /
Yazar:: Miller,, Dale
Baskı/Yayın Bilgisi: (2012)

Yüklüyor......

Micro-prolog: programming in logic /
Yazar:: Clark, K L
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

Fuzzy logic based programming
Yazar:: Chang, Chin-liang
Baskı/Yayın Bilgisi: (1997)

Yüklüyor......

Fuzzy Logic Based Programming
Yazar:: Chin-liang Chang
Baskı/Yayın Bilgisi: (1997)

Yüklüyor......

Micro-prolog: Programming In Logic
Yazar:: Clark, K L
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

Programming with Higher-order Logic
Yazar:: Miller, Dale Nadathur, Gopalan
Baskı/Yayın Bilgisi: (2012)

Yüklüyor......

Program Logics for Certified Compilers
Yazar:: Andrew W Appel
Baskı/Yayın Bilgisi: (2014)

Yüklüyor......

Fuzzy logic based programming /
Yazar:: Chang,Chin Liang
Baskı/Yayın Bilgisi: (1997)

Yüklüyor......

The Logic programming paradigm : a 25-year perspective /
Baskı/Yayın Bilgisi: (1999)

Yüklüyor......

Object-oriented programming with C++
Yazar:: Khurana, Rohit
Baskı/Yayın Bilgisi: (2008)

Yüklüyor......

Object oriented programming with C++
Yazar:: Khurana, Rohit
Baskı/Yayın Bilgisi: (2008)

Yüklüyor......

Object Oriented Programming with C++
Yazar:: Rohit Khurana
Baskı/Yayın Bilgisi: (2008)