Description: Logic based program synthesis and transformation :

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	International Workshop on Logic-Based Program Synthesis and Transformation :Londres
Autres auteurs:	Lau, Kung-Kiu, 1953- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 2042
Sujets:	Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Programmation logique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'e 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:	• Logic based program synthesis and transformation, 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000, selected papers, Kung-Kiu Lau (ed.), Berlin, Springer, 2001, 1 vol. (VIII-181 p.), Lecture notes in computer science, 3-540-42127-0 • Logic Based Program Synthesis and Transformation, Texte imprimé, 9783662190517

Description
Description:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540451426 (PDF)
ISSN:	1611-3349
Accès:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017