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

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

種類:
図書
責任表示:
Andreas Podelski, (ed.)
出版情報:
Berlin : Springer-Verlag, c1995
著者名:
シリーズ名:
Lecture notes in computer science ; 910 <BA00009279>
ISBN:
9783540591559 [3540591559] (: gw)  CiNii Books  Calil
注記:
Papers presented at the 22nd Spring School in Theoretical Computer Science in Châtillon-sur-Seine, France, May 16-20, 1994
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Constraint Programming: Basics and Trends : 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers

Podelski, Andreas, SpringerLink (Online service)

Springer-Verlag
7 図書 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
2 電子ブック Constraint Programming: Basics and Trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers

Podelski, Andreas., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Constraint programming

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

Springer-Verlag
3 図書 Constraint processing : selected papers

Meyer, Manfred, 1963-

Springer-Verlag
9 図書 Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course

French Spring School of Theoretical Computer Science, Comon, Hubert, Jouannaud, Jean-Pierre

Springer Verlag
4 図書 Automata networks : LITP Spring School on Theoretical Computer Science, Argelès-village, France, May 12-16, 1986 : proceedings

Laboratoire Informatique Théorique et Programmation (France). Spring School, Choffrut, Christian

Springer-Verlag
10 電子ブック Term Rewriting : French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

Comon, Hubert, Jounnaud, Jean-Pierre, SpringerLink (Online service)

Springer-Verlag
5 電子ブック Automata Networks : LITP Spring School on Theoretical Computer Science Argelès-Village, France, May 12–16, 1986 Proceedings

Choffrut, C., SpringerLink (Online service)

Springer-Verlag
11 図書 Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings

Pin, Jean Eric, Ecole de printemps d'informatique théorique

Springer-Verlag
6 電子ブック Automata Networks : LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings

Choffrut, C., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 電子ブック Formal Properties of Finite Automata and Applications : LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 Proceedings

Pin, J. E., SpringerLink (Online service)

Springer-Verlag