Automated Deduction in Geometry
Övriga upphovsmän: | Ida |
---|---|
Materialtyp: | Elektronisk E-bok |
Språk: | English |
Publicerad: |
Springer Berlin Heidelberg,
2013
|
Upplaga: | 1 |
Ämnen: | |
Länkar: | Full text available on Springer Off-campus access |
Liknande verk
-
Automated Deduction â€" CADE-24
Publicerad: (2013) -
Automated Deduction â€" CADE 28
Publicerad: (2021) -
The Deductive Spreadsheet
av: Cervesato
Publicerad: (2013) -
Submission of deduction programme against deduct amount from original tender
av: BUCG-ABC Joint Venture (BUCG-ABC JV)
Publicerad: (2023) -
Qualitative research as stepwise-deductive induction /
av: Tjora, Aksel
Publicerad: (2019)