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

Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1994
形態:
xi, 545 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 827 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540582410 [354058241X] (: gw)
9780387582412 [038758241X] (: us)
書誌ID:
BA23177363
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Temporal Logic

Gabbay, Dov M., Ohlbach, Hans Jürgen

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Gabbay, Dov M., 1945-

Elsevier North Holland

International Conference on Formal and Applied Practical Reasoning, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen

Springer

Harel, David, 1950-

Springer-Verlag

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

Clarendon Press, Oxford University Press

10 電子ブック Practical Reasoning

International Conference on Formal and Applied Practical Reasoning, Gabbay, Dov M., Ohlbach, Hans Jürgen

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

International Joint Conference on Qualitative and Quantitative Practical Reasoning, Gabbay, Dov M., 1945-

Springer

Gray, Peter M. D., 1940-

E. Horwood, Distributor, Halsted Press

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag

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

Clarendon Press, Oxford University Press

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12