>> Google Books

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
形態:
ix, 316 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 910 <BA00009279>
書誌ID:
BA24796815
ISBN:
9783540591559 [3540591559] (: gw)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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
7 図書 Constraint and integer programming : toward a unified methodology

Milano, Michela

Kluwer Academic Publishers
2 図書 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
8 図書 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
3 図書 Constraint databases and applications : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 …

International Workshop on Constraint Database Systems, Gaede, V. (Volker)

Springer
9 図書 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
4 図書 Constraint programming

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

Springer-Verlag
10 図書 Electronic dictionaries and automata in computational linguistics : LITP Spring School on Theoretical Computer Science, Saint-Pierre d'Oléron, France, May …

Laboratoire Informatique Théorique et Programmation (France). Spring School, Gross, Maurice, 1934-, Perrin, Dominique

Springer-Verlag
5 図書 Handbook of constraint programming

Rossi, Francesca, Van Beek, Peter, Walsh, Toby

Elsevier
11 電子ブック Verification Model Checking and Abstract Interpretation : 8th International Conference VMCAI 2007 Nice France January 14-16 2007. Proceedings

Cook Byron, Podelski Andreas, SpringerLink (Online service)

Springer-Verlag
6 図書 Programming with constraints : an introduction

Marriott, Kim, Stuckey, Peter J.

MIT Press
12 図書 Constraint processing

Dechter, Rina, 1950-

Morgan Kaufmann Publishers