Explanation-based transformation of logic programs


Henrik Boström
Bok Engelsk 1993

Detaljer

Bibliotek som har denne