DMCA
Cooperative Parallel Automated Theorem Proving
by
Andreas Wolf
,
Marc Fuchs
| Citations: | 1 - 0 self |
BibTeX
@MISC{Wolf_cooperativeparallel,
author = {Andreas Wolf and Marc Fuchs},
title = {Cooperative Parallel Automated Theorem Proving},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
