>> 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 Dynamic Logic

Harel

Springer Berlin Heidelberg

Hinman, Peter G.

A.K. Peters

Lewis, David K.

Cambridge University Press

3 図書 Dynamic logic

Harel, David, 1950-, Kozen, Dexter, 1951-, Tiuryn, Jerzy

MIT Press

Cohen, David W.

Springer-Verlag

Kunen, Kenneth

College Publications

Sorbi, Andrea, 1956-

Marcel Dekker

Bostock, David

Clarendon Press, Oxford University Press

Boolos, George, Burgess, John P., 1948-, Jeffrey, Richard C.

Cambridge University Press

Shapiro, Stewart, 1951-

Clarendon Press, Oxford University Press

Lassaigne, Richard, 1944-, Rougemont, Michel de, 1953-

Springer