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

>> Google Books

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

形態:

viii, 367 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 845 <BA00009279>

書誌ID:

BA23317291

ISBN:

9783540584032 [354058403X]

子書誌情報

所蔵情報

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

詳細

主題:	情報科学
分類・件名:	LCC : QA267 DDC : 511.3
注記:	Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings Jouannaud, Jean-Pierre, Shao, Zhong, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	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 図書 Multiagent system technologies : 7th German Conference, MATES 2009 : Humburg, Germany, September 9-11, 2009 : proceedings MATES, Braubach, Lars, Petta, Paolo, Pokahr, Alexander, Hoek, W. van der (Wiebe van der) Springer	8 図書 Electronic Participation : First International Conference, ePart 2009 : Linz, Austria, September 1-3, 2009 : proceedings Macintosh, Ann, Tambouris, Efthimios, ePart Springer
3 図書 Distributed computing : 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005 : proceedings DISC, Fraigniaud, Pierre Springer	9 図書 E-Commerce and Web Technologies : 7th International Conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006 : proceedings EC-Web, Bauknecht, Kurt, 1936-, Pröll, Birgit, Werthner, Hannes Springer
4 図書 Applications of databases : First International Conference, ADB-94, Vadstena, Sweden, June 21-23, 1994 : proceedings International Conference on Applications of Databases, Litwin, W. (Witold), 1946-, Risch, Tore Springer-Verlag	10 図書 Machine learning and data mining in pattern recognition : third International Conference, MLDM 2003, Leipzig, Germany, July 5-7, 2003 : proceedings Workshop on Machine Learning and Data Mining in Pattern Recognition, Perner, Petra, Rosenfeld, Azriel, 1931- Springer
5 図書 Machine learning and data mining in pattern recognition : first International Workshop, MLDM '99, Leipzig, Germany, September 16-18, 1999 : proceedings Workshop on Machine Learning and Data Mining in Pattern Recognition, Perner, Petra, Petrou, Maria Springer	11 図書 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
6 図書 Inductive logic programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings ILP, Kramer, Stefan, Prof. Dr, Pfahringer, Bernhard Springer	12 図書 Inductive logic programming : 18th International Conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008 : proceedings ILP, Železný, Filip, Lavrač, Nada Springer