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

Temporal logic : mathematical foundations and computational aspects

種類:
図書
責任表示:
Dov M. Gabbay, Ian Hodkinson and Mark Reynolds
出版情報:
Oxford ; New York : Clarendon Press
New York : Oxford University Press, 1994-
著者名:
シリーズ名:
Oxford logic guides ; 28, 40 <BA00017765>
ISBN:
9780198537694 [0198537697] (v. 1)  CiNii Books  Calil
9780198537687 [0198537689] (v. 2)  CiNii Books  Calil
注記:
Includes bibliographical references and indexes
vol.2 (published 2000) ; Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 Background : mathematical structures

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
2 図書 Temporal logic of programs

Kröger, Fred, 1945-

Springer-Verlag
8 図書 What is a logical system?

Gabbay, Dov M., 1945-

Clarendon Press, Oxford University Press
3 図書 The temporal logic of reactive and concurrent systems

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag
9 図書 Computational aspects of an order-sorted logic with term declarations

Schmidt-Schauß, M. (Manfred)

Springer-Verlag
4 図書 Logical foundations

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press
10 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag
5 図書 Handbook of logic in artificial intelligence and logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press
11 図書 Deduction methodologies

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press
6 図書 Background : computational structures

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
12 図書 Nonmonotonic reasoning and uncertain reasoning

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press