AUTOMATED GEOMETRY THEOREM PROVING SOLUTIONS USING THE THEOREMA SYSTEM
Rezumat
In this book we present various geometric theorem proving methods implemented in the frame of the Theorema system.
Publicat
30 ianuarie 2007
Categorii
Copyright (c) 2007 Editura UBB
Licență
Această lucrare este licențiată în temeiul Creative Commons Attribution 4.0 International License.
Detalii despre monografie
ISBN-13 (15)
978-973-610-637-8
Dimensiuni fizice
Cum cităm
ROBU, J. (2007). AUTOMATED GEOMETRY THEOREM PROVING SOLUTIONS USING THE THEOREMA SYSTEM. Presa Universitară Clujeană. https://editura.ubbcluj.ro/index.php/puc/catalog/book/3730
