Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000 : proceedings

This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26 29, 2000, just prior to the AAAI 2000 conference in Austin. Previous SARA co...

Description complète

Détails bibliographiques

Collectivité auteur:	International symposium on abstraction, reformulation and approximation :Horseshoe Bay, Texas, Etats-Unis
Autres auteurs:	Choueiry, Berthe Y. (Directeur de la publication), Walsh, Toby, 1964- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science. Lecture notes in artificial intelligence 1864
Sujets:	Informatique Intelligence artificielle Logique symbolique et mathématique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Abstraction, reformulation, and approximation, 4th international symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000, proceedings, Berthe Y. Choueiry, Toby Walsh (eds.), Berlin, Springer, 2000, 1 vol. (XI-331 p.), Lecture notes in computer science, 3-540-67839-5 • Abstraction, Reformulation, and Approximation, Texte imprimé, 9783662201282