>> Amazon.co.jp
このページのQRコード

First-order dynamic logic

種類:
図書
責任表示:
David Harel
出版情報:
Berlin ; Tokyo : Springer-Verlag, 1979
著者名:
Harel, David, 1950- <DA01931918>  
シリーズ名:
Lecture notes in computer science ; 68 <BA00009279>
ISBN:
9783540092377 [3540092374] (: gw)  CiNii Books  Calil
9780387092379 [0387092374] (: us)  CiNii Books  Calil
注記:
Rev. version of the author's thesis, M.I.T., 1978
Bibliography: p. [127]-133
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック First-Order Dynamic Logic

Harel, David, SpringerLink (Online service)

Springer-Verlag
7 図書 First-order programming theories

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

Springer-Verlag
2 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings

International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen

Springer-Verlag
8 図書 Solving higher-order equations : from logic to programming

Prehofer, Christian, 1967-

Birkhäuser
3 電子ブック First-Order Dynamic Logic

Harel, D., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
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 図書 The limits of logic : higher-order logic and the Löwenheim-Skolem theorem

Shapiro, Stewart, 1951-

Dartmouth
5 図書 The temporal logic of reactive and concurrent systems

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag
11 図書 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.
6 図書 Temporal logic : mathematical foundations and computational aspects

Gabbay, Dov M., 1945-, Hodkinson, Ian, Reynolds, Mark (Mark A.), Finger, Marcelo

Clarendon Press, Oxford University Press
12 図書 Quantum probability--quantum logic

Pitowsky, Itamar, 1950-

Springer-Verlag