Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers / edited by Manuel V Hermenegildo, Pedro Lopez-Garcia

Gespeichert in:

E-Book

Bibliographische Detailangaben
Beteiligte Person(en)	Hermenegildo, Manuel V. (herausgegeben von), Lopez-Garcia, Pedro (herausgegeben von)
Ort, Verlag, Jahr	Cham : Springer International Publishing Imprint: Springer , 2017
Umfang	1 Online-Ressource (XVI, 361 p. 75 illus)
ISBN	9783319631394
ISSN	0302-9743
Sprache	Englisch
Online-Zugang	https://doi.org/10.1007/978-3-319-63139-4 Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC) Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (ZDB-2-SCS) Wird geladen...
Persistente URL	https://katalogplus.ub.uni-bielefeld.de/title/HT019406143

Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte Angebote von außerhalb des Campus.