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

First-order dynamic logic / David Harel

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, 1979
形態:
133 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 68 <BA00009279>
著者名:
Harel, David, 1950- <DA01931918>  
ISBN:
9783540092377 [3540092374] (: gw)
9780387092379 [0387092374] (: us)
書誌ID:
BA03630552
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック First-Order Dynamic Logic

Harel

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 Logic programming : functions, relations, and equations

DeGroot, Doug, Lindstrom, Gary

Prentice-Hall
2 電子ブック First-Order Dynamic Logic

Harel, D., SpringerLink (Online service)
8 図書 Induction, recursion, and programming

Wand, Mitchell

North Holland
3 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings (: gw ; : us)

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

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

Robbin, Joel W.

W. A. Benjamin
4 図書 Logic, algebra, and databases (Halsted, lib. ed. - Ellis Horwood, stud. ed.)

Gray, Peter M. D., 1940-

E. Horwood, Distributor, Halsted Press
10 図書 First course in mathematical logic

Suppes, Patrick, 1922-2014, Hill, Shirley A.

Blaisdell Pub. Co
5 図書 Logic for problem solving (: pbk)

Kowalski, Robert

Elsevier North Holland
11 図書 Computational aspects of an order-sorted logic with term declarations (: gw ; : us)

Schmidt-Schauß, M. (Manfred)

Springer-Verlag
6 図書 The temporal logic of reactive and concurrent systems ([v. 1], Specification : us ; [v. 1], Specification : gw)

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag
12 図書 Foundations without foundationalism : a case for second-order logic (: pbk)

Shapiro, Stewart, 1951-

Clarendon Press, Oxford University Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12