FTP 2009 First-Order Theorem Proving (Q113545557)
Jump to navigation
Jump to search
Proceedings of FTP 2009 workshop
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FTP 2009 First-Order Theorem Proving |
Proceedings of FTP 2009 workshop |
Statements
FTP 2009 (English)
0 references
FTP 2009 First-Order Theorem Proving (English)
0 references
4 January 2010
0 references