DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Browsing by Author Makowsky, Johann A.
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
2007 | Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings | Makowsky, Johann A.; Dershowitz, Nachum; Voronkov, Andrei |