Digital Library of the Silesian University of Technology contains 75 004 digital objects
Object
Title: Automatic theorem proving in elementary geometry
Description:
Edition:
place:
Publisher:
Wydawnictwo Politechniki Śląskiej
Series:
Zeszyty Naukowe Politechniki Śląskiej. Geometria i Grafika Inżynierska ; Zeszyty Naukowe Politechniki Śląskiej ; 1427-9274
Resource Identifier:
Katalog Biblioteki-Zeszyty Naukowe ; Katalog Biblioteki-Artykuł ; oai:delibra.bg.polsl.pl:64933
Source:
Language:
Rights Management:
Wydawnictwo Politechniki Śląskiej
Access:
Object collections:
- Digital Library > COLLECTIONS OF PUBLICATIONS OF THE SILESIAN UNIVERSITY OF TECHNOLOGY > Zeszyty Naukowe Politechniki Śląskiej > Geometria i Grafika Inżynierska
Last modified:
Mar 3, 2020
In our library since:
Feb 28, 2020
Number of object content hits:
33
All available object's versions:
https://delibra.bg.polsl.pl/publication/73655
Show description in RDF format:
Show description in OAI-PMH format:
| Edition name | Date |
|---|---|
| Pech, Pavel : Automatic theorem proving in elementary geometry | Mar 3, 2020 |
Objects Similar
Volkov, Vladimir Yakovenko, Kirill
Sulima-Samujłło, Tomasz
Rogińska-Niesłuchowska, Małgorzata
Lankosz, Adam
