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

Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

種類:
図書
責任表示:
Jean-Pierre Jouannaud (ed.)
出版情報:
Berlin ; New York : Springer-Verlag, c1994
著者名:
シリーズ名:
Lecture notes in computer science ; 845 <BA00009279>
ISBN:
9783540584032 [354058403X]  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Constraints in Computational Logics : First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

Jouannaud, Jean-Pierre, 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 電子ブック Constraints in Computational Logics : First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

Jouannaud, Jean-Pierre., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 電子ブック 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
3 図書 Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Maher, Michael, 1959-

MIT Press
9 図書 DIANA computational mechanics '94 : proceedings of the first International DIANA Conference on Computational Mechanics

International DIANA Conference on Computational Mechanics (1st : 1994 : Delft, Netherlands), Kusters, Ger M. A., &hellip;

Kluwer Academic
4 図書 Logic programming : proceedings of the eleventh International Conference on Logic Programming

Van Hentenryck, Pascal, International Conference on Logic Programming (11th)

MIT Press
10 電子ブック Towards a Pan-European Telecommunication Service Infrastructure — IS&N '94 : Second International Conference on Intelligence in Broadband Services and …

Kugler, Hans-Jürgen, Mullery, Al, Niebert, Norbert, SpringerLink (Online service)

Springer-Verlag
5 図書 Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised …

CCL, Comon, Hubert, Marché, Claude, Treinen, Ralf

Springer
11 電子ブック Towards a Pan-European Telecommunication Service Infrastructure - IS&N '94 : Second International Conference on Intelligence in Broadband Services and …

Kugler, Hans-Jürgen., Mullery, Al., Niebert, Norbert., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings

International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen

Springer-Verlag
12 図書 Computational fluid dynamics '94 : proceedings of the Second European Computational Fluid Dynamics Conference, 5-8 September 1994, Stuttgart, Germany

Wagner, S., European Computational Fluid Dynamics Conference (2nd : 1994 : Stuttgart, Germany)

Wiley