in_proceedings
Detail
Publication date: 1 de June, 2021Empirically Successful Computerized Reasoning (ESCoR’06) workshop at The 3rd International Joint Conference on Automated Reasoning (IJCAR’06)
| Publisher | Universitat Politècnica de Catalunya |
|---|---|
| Address | Seattle, USA |
| Pub. Date | 21/08/2006 |