Detail page

Media

Sven Koenig and SARA (5, 2002, Kananaskis)

Abstraction, reformulation, and approximation : 5th international symposium ; proceedings

Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002

Title	Abstraction, reformulation, and approximation : 5th international symposium ; proceedings / SARA 2002, Kananaskis, Alberta, Canada, August 2 - 4, 2002. Sven Koenig ; Robert C. Holte (ed.)
Involved	Sven Koenig (Herausgeber) SARA (5, 2002, Kananaskis) (Herausgebendes Organ)
Published	Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer 2002
Extent	XI, 346 S. : Ill., graph. Darst.
ISBN	978-3-540-43941-7
Language	Englisch
Topic	Informatik
Subject	Abstraktion, Approximation, Formulierung, Korrektur, Kongress, Alberta <2002> Maschinelles Lernen, Abstraktion, Approximation, Formulierung, Kongress, Alberta <2002> Programmierung, Abstraktion, Approximation, Formulierung, Kongress, Alberta <2002> Constraint-Erfüllung, Abstraktion, Approximation, Formulierung, Kongress, Alberta <2002> Model Checking, Abstraktion, Approximation, Formulierung, Kongress, Alberta <2002>
Series	Lecture notes in computer science ; Vol. 2371 : Lecture notes in artificial intelligence
Other editions	Erscheint auch als Online-Ausgabe: Abstraction, reformulation, and approximation : 5th international symposium ; proceedings
Further information	Literaturangaben
Record ID	964683180

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Abstraction, reformulation, and approximation : 5th international symposium ; proceedings