Abstraction, Reformulation, and Approximation
7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Ian Miguel
Themen in »Abstraction, Reformulation, and Approximation«
Automat automated reasoning learning machine learning modeling problem solving programming proving theorem proving
Stimmen zu »Abstraction, Reformulation, and Approximation«
Details
ISBN: 9783540735793
Verlag: Springer Berlin
Erscheinung: 04.07.2007