Mathematical problems on theorem proving. Proofs, formulary for learning and exams (Q2833550)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6654717
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Mathematical problems on theorem proving. Proofs, formulary for learning and exams |
scientific article; zbMATH DE number 6654717 |
Statements
Mathematik Beweisaufgaben (English)
0 references
18 November 2016
0 references
0.7145355343818665
0 references
0.6944396495819092
0 references
