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

Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings

種類:
図書
責任表示:
Michael Fisher, Richard Owens (eds.)
出版情報:
Berlin ; New York : Springer-Verlag, c1995
著者名:
シリーズ名:
Lecture notes in computer science ; 897 . Lecture notes in artificial intelligence <BA00009279>
ISBN:
9783540589761 [3540589767]  CiNii Books  Calil
注記:
Updated papers presented at the Workshop on Executable Modal and Temporal Logics
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Executable Modal and Temporal Logics : IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings

Fisher, Michael, Owens, Richard, SpringerLink (Online service)

Springer-Verlag
7 図書 Logic for programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

LPAR, Nieuwenhuis, Robert, Voronkov, A. (Andreĭ), 1959-

Springer
2 電子ブック Executable Modal and Temporal Logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Fisher, Michael., Owens, Richard., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 IJCAI 87 : proceedings of the Tenth International Joint Conference on Artificial Intelligence : August 23-28, 1987

International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, &hellip;

Morgan Kaufmann [distributor]
3 図書 IJCAI-93 : proceedings of the Thirteenth International Joint Conference on Artificial Intelligence , Chambéry, France, August 28-September 3, 1993

International Joint Conference on Artificial Intelligence, Bajcsy, Ruzena

Distributed by Morgan Kaufmann
9 図書 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, Workshop on &hellip;

Springer-Verlag
4 図書 Fuzzy logic in artificial intelligence : IJCAI '93 workshop, Chamberry, France, August 28, 1993 : proceedings

International Joint Conference on Artificial Intelligence, Ralescu, Anca L., 1949-

Springer-Verlag
10 図書 Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming

International Conference on Logic Programming, Apt, Krzysztof R., 1949-, Association for Logic Programming

MIT Press
5 電子ブック Fuzzy Logic in Artificial Intelligence : IJCAI '93 Workshop Chamberry, France, August 28, 1993 Proceedings

Ralescu, Anca L., SpringerLink (Online service)

Springer-Verlag
11 図書 Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, …

International Workshop on Logic Program Synthesis and Transformation, Deville, Yves, 1960-, British Computer Society

Springer-Verlag
6 電子ブック Fuzzy Logic in Artificial Intelligence : IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings

Ralescu, Anca., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 図書 Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings

International Workshop PLILP, Deransart, Pierre, 1945-, Lorho, Bernard, Małuszyński, Jan, 1941-

Springer-Verlag