Frontiers of Combining Systems (2007)
Attributed to:
Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Book
Volume: 4720