Abstraction, Reformulation and Approximation
6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Jean-Daniel Zucker
Themen in »Abstraction, Reformulation and Approximation«
Automat Constraint Satisfaction learning machine learning problem solving proving theorem proving
Stimmen zu »Abstraction, Reformulation and Approximation«
Details
ISBN: 9783540278726
Verlag: Springer Berlin
Erscheinung: 14.07.2005