Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR 99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computationa...

Celý popis

Podrobná bibliografie

Korporativní autor:	International Workshop on Logic-Based Program Synthesis and Transformation :Venise
Další autoři:	Bossi, Annalisa (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 1817
Témata:	Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Programmation logique Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic-based program synthesis and transformation, 9th International Workshop, LOPSTR '99, Venice, Italy, September 1999, selected papers, Annalisa Bossi (ed.), Berlin, Springer, 2000, 1 vol. (VIII-312 p.), Lecture notes in computer science, 3-540-67628-7 • Logic-Based Program Synthesis and Transformation, Texte imprimé, 9783662170465