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

>> Google Books

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

形態:

xii, 309 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 2002 <BA00009279>

書誌ID:

BA5180940X

ISBN:

9783540419501 [3540419500]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Constraint programming (Computer science); Logic programming
分類・件名:	LCC : QA76.612 LCSH : Constraint programming (Computer science) LCSH : Logic programming
LCCN:	01031130
注記:	"LNCS2002, Tutorial"--On cover Includes bibliographies
TTLL:	eng

類似資料:

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 図書 Constraint logic programming : selected research Benhamou, Frédéric, Colmerauer, A. (Alain) MIT Press
2 図書 Programming with constraints : an introduction Marriott, Kim, Stuckey, Peter J. MIT Press	8 図書 Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings CCL, Jouannaud, Jean-Pierre Springer-Verlag
3 図書 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	9 図書 Logic for applications Nerode, Anil, 1932-, Shore, Richard A., 1946- Springer-Verlag
4 図書 Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings International Conference on Rewriting Techniques and Applications, Comon, Hubert Springer	10 電子ブック Rewriting Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday Comon-Lundh Hubert, Kirchner Helene, Kirchner Claude, SpringerLink (Online service) Springer-Verlag
5 図書 Constraint satisfaction in logic programming Van Hentenryck, Pascal MIT Press	11 図書 Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings ILP, Džeroski, Sašo, 1968-, Flach, Peter, 1956- Springer
6 図書 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	12 図書 Computational logic : essays in honor of Alan Robinson Robinson, J. A. (John Alan), Lassez, Jean-Louis, Plotkin, G. (Gordon), 1946- MIT Press