Difference between revisions of "CADE1982"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (pushed from ori5 by wikipush) |
Tim Holzheim (talk | contribs) (edited by wikiedit) |
||
| Line 7: | Line 7: | ||
|Country=USA | |Country=USA | ||
|Field=Automated Deduction | |Field=Automated Deduction | ||
| − | | | + | |Event type=Conference |
|Homepage=dblp2.uni-trier.de/db/conf/cade/cade82.html | |Homepage=dblp2.uni-trier.de/db/conf/cade/cade82.html | ||
}} | }} | ||
Latest revision as of 10:32, 8 March 2021
| CADE1982 | |
|---|---|
| Event in series | CADE |
| Dates | 7/06/1982 (iCal) - 9/06/1982 |
| Homepage: | dblp2.uni-trier.de/db/conf/cade/cade82.html |
| Location | |
| Location: | , New York, USA |
| Table of Contents | |