Logic Program Synthesis and Transformation — Meta-Programming in Logic: On the use of inductive reasoning in program synthesis: Prejudice and prospects
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: On the use of inductive reasoning in program synthesis: Prejudice and prospects
Beteiligte:
Flener, Pierre;
Popelínský, Lubos
Erschienen:
Springer Berlin Heidelberg, 1994
Erschienen in:Logic Program Synthesis and Transformation — Meta-Programming in Logic