>> Google Books

Logic programming : operational semantics and proof theory

フォーマット:
図書
責任表示:
James H. Andrews
言語:
英語
出版情報:
Cambridge : Cambridge University Press, 1992
形態:
xi, 104 p. : ill. ; 26 cm
著者名:
Andrews, James H. <DA07119023>  
シリーズ名:
Distinguished dissertations in computer science <BA13438471>
書誌ID:
BA19521432
ISBN:
9780521432191 [0521432197]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY: TO TRUTH THROUGH PROOF

ANDREWS, P. B

ACADEMIC PRESS
7 図書 PARALLEL EXECUTION OF LOGIC PROGRAMS

CONERY, J. S

KLWER ACADEMIC PUB
2 図書 Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules

Hesselink, Wim H.

Cambridge University Press
8 図書 EXECUTING TEMPORAL LOGIC PROGRAMS

MOSZKOWSKI, B. C

ADDISON-WESLEY
3 図書 Termination proofs for logic programs

Plümer, Lutz, 1951-

Springer-Verlag
9 図書 MICRO-PROLOG : PROGRAMMING IN LOGIC

CLARK, K. L, MCCABE, F. G

PRENTICE HALL INTERNATIONAL
4 図書 Formal semantics and pragmatics for natural language querying

Clifford, James

Cambridge University Press
10 図書 FOUNDATIONS OF LOGIC PROGRAMMING

LLOYD, J. W

SPRINGER-VLG
5 図書 Foundations of inductive logic programming

Nienhuys-Cheng, Shan-Hwei, Wolf, Ronald de

Springer
11 図書 INTRODUCTION TO LOGIC PROGRAMMING

HOGGER, C. J

ACADEMIC PRESS
6 図書 Distributed constraint logic programming

Leung, Ho-Fung

World Scientific
12 図書 Logic programming : proceedings of the 1998 Joint International Conference and Symposium on Logic Programming

Jaffar, Joxan

MIT Press