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

First-Order Dynamic Logic. 1st ed. 1979

種類:
電子ブック
責任表示:
by D. Harel
出版情報:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1979
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 68
ISBN:
9783540353461 [3540353461]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
https://doi.org/10.1007/3-540-09237-4
所蔵情報
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 電子ブック 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
2 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag
8 電子ブック Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings

Melham, Thomas F., Camilleri, Juanito, SpringerLink (Online service)

Springer-Verlag
3 電子ブック Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Heering, Jan, Meinke, Karl, Möller, Bernhard, Nipkow, Tobias, SpringerLink (Online service)

Springer-Verlag
9 電子ブック Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Bakker, J. W., Roever, W. -P, Rozenberg, G., SpringerLink (Online service)

Springer-Verlag
4 電子ブック Computational Aspects of an Order-Sorted Logic with Term Declarations

Schmidt-Schauß, M., SpringerLink (Online service)

Springer-Verlag
10 電子ブック Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings

Thomas Schubert, E., Windley, Philip J., Alves-Foss, James, SpringerLink (Online service)

Springer-Verlag
5 電子ブック Logic Programming : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. …

Voronkov, A., SpringerLink (Online service)

Springer-Verlag
11 電子ブック Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Dowek, Gilles, Heering, Jan, Meinke, Karl, Möller, Bernhard, SpringerLink (Online service)

Springer-Verlag
6 電子ブック Constraints in Computational Logics : First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

Jouannaud, Jean-Pierre, SpringerLink (Online service)

Springer-Verlag
12 電子ブック Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Wright, Joakim, Grundy, Jim, Harrison, John, SpringerLink (Online …

Springer-Verlag