Automated Deduction in Geometry
| Kolejni autorzy: | Ida |
|---|---|
| Format: | Elektroniczne E-book |
| Język: | English |
| Wydane: |
Springer Berlin Heidelberg,
2013
|
| Wydanie: | 1 |
| Hasła przedmiotowe: | |
| Dostęp online: | Full text available on Springer Off-campus access |
Podobne zapisy
-
Automated Deduction â€" CADE-24
Wydane: (2013) -
Automated Deduction â€" CADE 28
Wydane: (2021) -
The Deductive Spreadsheet
od: Cervesato
Wydane: (2013) -
Submission of deduction programme against deduct amount from original tender
od: BUCG-ABC Joint Venture (BUCG-ABC JV)
Wydane: (2023) -
Qualitative research as stepwise-deductive induction /
od: Tjora, Aksel
Wydane: (2019)