> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Logic Program Synthesis and Transformation — Meta-Programming in Logic: Abstract debugging of logic programs Beteiligte: Comini, Marco; Levi, Giorgio; Vitiello, Giuliana Erschienen: Springer Berlin Heidelberg, 1994 Erschienen in: Logic Program Synthesis and Transformation — Meta-Programming in Logic Sprache: Nicht zu entscheiden DOI: 10.1007/3-540-58792-6_27 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: