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 titularii dreptului de autor
Licență
Licență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
