Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010)
Book title Buchtitel
Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010)
Publisher Herausgeber
Springer LNCS 6173
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Hoder, Krystof ; Kovacs, Laura ; Voronkov, Andrei | Interpolation and Symbol Elimination in Vampire | Konferenzbeitrag Inproceedings | 2010 |