>> Google Books
QRコード(所蔵情報)

First-order dynamic logic

フォーマット:
図書
責任表示:
David Harel
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, 1979
形態:
133 p. : ill. ; 24 cm
著者名:
Harel, David, 1950- <DA01931918>  
シリーズ名:
Lecture notes in computer science ; 68 <BA00009279>
書誌ID:
BA03630552
ISBN:
9783540092377 [3540092374] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387092379 [0387092374] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 First-order logic and automated theorem proving

Fitting, Melvin, 1942-

Springer-Verlag
7 図書 Mathematical logic : a first course

Robbin, Joel W.

W. A. Benjamin
2 図書 Logic for problem solving

Kowalski, Robert

Elsevier North Holland
8 図書 Language in action : categories, lambdas and dynamic logic

Benthem, J. F. A. K. van, 1949-

North-Holland, Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc.
3 図書 Logic, algebra, and databases

Gray, Peter M. D., 1940-

E. Horwood, Distributor, Halsted Press
9 図書 Computational aspects of an order-sorted logic with term declarations

Schmidt-Schauß, M. (Manfred)

Springer-Verlag
4 図書 Temporal logic of programs

Kröger, Fred, 1945-

Springer-Verlag
10 図書 A first course in formal logic and its applications in computer science

Dowsing, Roy, Rayward-Smith, V. J., Walter, C. D.

Blackwell Scientific Publications
5 図書 First-order programming theories

Gergely, T. (Tamás), Úry, László, 1953-

Springer-Verlag
11 図書 Deductive reasoning

Manna, Zohar, Waldinger, Richard

Tokyo : Addison-Wesley
6 図書 Recursion via Pascal

Rohl, J. S. (Jeffrey Soden), 1938-

Cambridge University Press
12 図書 Algorithmics : the spirit of computing

Harel, David, 1950-

Addison-Wesley