Difference between revisions of "CADE1988"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (pushed from ori5 by wikipush) |
Tim Holzheim (talk | contribs) (edited by wikiedit) |
||
Line 8: | Line 8: | ||
|Country=USA | |Country=USA | ||
|Field=Automated Deduction | |Field=Automated Deduction | ||
− | | | + | |Event type=Conference |
|Homepage=dblp.uni-trier.de/db/conf/cade/cade88.html | |Homepage=dblp.uni-trier.de/db/conf/cade/cade88.html | ||
}} | }} |