Meta-programming in logic programming by Abramson, Harvey, Rogers, M. H., Workshop on Meta-programming in Logic Programming, Bristol) fromLogic programming 0 Type: Book
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munic… by Berghofer, Stefan, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius fromLecture Notes in Computer Science / Theoretical Computer Sc… 0 Type: Book
