ROBU Judit
AUTOMATED GEOMETRY THEOREM PROVING SOLUTIONS USING THE THEOREMA SYSTEM

 
  MATEMATICĂ, INFORMATICĂ
   
  978-973-610-637-8
  2007
 
  SOLD OUT
  pcs. add to cart
   
SUMMARY: In this book we present various geometric theorem proving methods implemented in the frame of the Theorema system.