>> Amazon.co.jp
このページの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
著者名:
シリーズ名:
Lecture notes in computer science ; 827 . Lecture notes in artificial intelligence <BA00009279>
ISBN:
9783540582410 [354058241X] (: gw)  CiNii Books  Calil
9780387582412 [038758241X] (: us)  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
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

Gabbay, Dov M., Ohlbach, Hans Jürgen, SpringerLink (Online service)

Springer-Verlag
7 図書 The temporal logic of reactive and concurrent systems

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag
2 電子ブック Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

Gabbay, Dov M., Ohlbach, Hans J., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag
3 図書 Temporal logic : mathematical foundations and computational aspects

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

Clarendon Press, Oxford University Press
9 図書 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
4 電子ブック Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings

Gabbay, Dov M., Ohlbach, Hans Jürgen, SpringerLink (Online service)

Springer-Verlag
10 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings

Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V.

Springer-Verlag
5 電子ブック Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings

Gabbay, Dov M., Ohlbach, Hans Jürgen., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
11 図書 What is a logical system?

Gabbay, Dov M., 1945-

Clarendon Press, Oxford University Press
6 図書 Temporal logic of programs

Kröger, Fred, 1945-

Springer-Verlag
12 図書 GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings

German Workshop on Artificial Intelligence, Ohlbach, Hans Jürgen

Springer