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

Time Structures : Formal Description and Algorithmic Representation

種類:
電子ブック
責任表示:
edited by Elżbieta Hajnicz
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1996
著者名:
シリーズ名:
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1047
ISBN:
9783540497462 [3540497463]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/3-540-60941-5
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Time Structures : Formal Description and Algorithmic Representation

Hajnicz, Elzbieta., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック Algorithmic Learning for Knowledge-Based Systems : GOSLER Final Report

Jantke, Klaus P., Lange, Steffen, SpringerLink (Online service)

Springer-Verlag
2 図書 Time structures : formal description and algorithmic representation

Hajnicz, Elżbieta

Springer-Verlag
8 電子ブック 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
3 電子ブック Foundations of Knowledge Representation and Reasoning

Lakemeyer, Gerhard, Nebel, Bernhard, SpringerLink (Online service)

Springer-Verlag
9 電子ブック Algorithmic Learning Theory : 7th International Workshop, ALT '96 Sydney, Australia, October 23–25, 1996 Proceedings

Arikawa, Setsuo, Sharma, Arun K., SpringerLink (Online service)

Springer-Verlag
4 電子ブック Knowledge Representation and Reasoning Under Uncertainty : Logic at Work

Masuch, Michael, Pólos, László, SpringerLink (Online service)

Springer-Verlag
10 電子ブック Algorithmic Learning Theory : 4th International Workshop on Analogical and Inductive Inference, AII '94 5th International Workshop on Algorithmic Learning …

Arikawa, Setsuo, Jantke, Klaus P., SpringerLink (Online service)

Springer-Verlag
5 電子ブック Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V., SpringerLink (Online service)

Springer-Verlag
11 電子ブック Meta-Programming in Logic : Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings

Pettorossi, A., SpringerLink (Online service)

Springer-Verlag
6 電子ブック Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings

Srivas, Mandayam, Camilleri, Albert, SpringerLink (Online service)

Springer-Verlag
12 電子ブック 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