Showing results 1 to 1 of 1
| Title | Author(s) | Issue Date | |
|---|---|---|---|
GMeta: A generic formal metatheory framework for first-order representations Proceeding/Conference:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012 |