Theorem of Three Circles in Coq
In: Journal of Automated Reasoning, Jg. 53 (2013), Heft 2, S. 105-127
academicJournal
Zugriff:
Titel: |
Theorem of Three Circles in Coq
|
---|---|
Autor/in / Beteiligte Person: | Zsidó, Julianna |
Link: | |
Zeitschrift: | Journal of Automated Reasoning, Jg. 53 (2013), Heft 2, S. 105-127 |
Veröffentlichung: | Springer Science and Business Media LLC, 2013 |
Medientyp: | academicJournal |
ISSN: | 0168-7433 |
DOI: | 10.1007/s10817-013-9299-0 |
Schlagwort: |
|
Sonstiges: |
|