> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Konferenzbericht Titel: Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers Beteiligte: Bossi, Annalisa [VerfasserIn] Erschienen: Berlin, Heidelberg: Springer Berlin Heidelberg, 2000 Erschienen in: Lecture notes in computer science ; 1817 Bücher Umfang: Online-Ressource Sprache: Englisch DOI: 10.1007/10720327 ISBN: 9783540676287 Identifikator: RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: Logische Programmierung > Programmsynthese Logische Programmierung > Programmtransformation Logische Programmierung > Programmverifikation Softwareentwicklung > B Logische Programmierung Entstehung: Anmerkungen: