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

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

種類:
図書
責任表示:
Hubert Comon, Claude Marché, Ralf Treinen (eds.)
出版情報:
Berlin : Springer, c2001
著者名:
シリーズ名:
Lecture notes in computer science ; 2002 <BA00009279>
ISBN:
9783540419501 [3540419500]  CiNii Books  Calil
注記:
"LNCS2002, Tutorial"--On cover
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Constraint databases and applications : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings

ESPRIT WG CONTESSA Workshop, Kuper, Gabriel, Wallace, M. (Mark), 1955-

Springer-Verlag
7 図書 Logic programming and its applications

Warren, David H. D., Van Caneghem, Michel

Ablex Publishing
2 図書 Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers

French Spring School of Theoretical Computer Science, Podelski, Andreas

Springer-Verlag
8 図書 Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings

Comon, Hubert, International Conference on Rewriting Techniques and Applications

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

CCL, Jouannaud, Jean-Pierre

Springer-Verlag
9 図書 Computational logic : essays in honor of Alan Robinson

Robinson, J. A. (John Alan), Lassez, Jean-Louis, Plotkin, G. (Gordon), 1946-

MIT Press
4 電子ブック Constraints in Computational Logics : First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

Jouannaud, Jean-Pierre, SpringerLink (Online service)

Springer-Verlag
10 図書 Logic programming : formal methods and practical applications

Beierle, Christoph, 1954-, Plümer, Lutz, 1951-

Elsevier
5 電子ブック 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
11 図書 Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures

Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot

Springer
6 図書 Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August …

European Summer School in Logic, Language, and Information, Väänänen, J. (Jouko), 1950-

Springer
12 図書 Constraint programming

Mayoh, B. H., Tyugu, Ė. Kh. (Ėnn Kharalʹdovich), 1935-, Penjam, Jaan, 1955-, NATO Advanced Science Institute &hellip;

Springer-Verlag