ロード中...

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)