Survey of the Theorema project

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 1997, Pages 384-391

  Buchberger, Bruno ^a   Jebelean, Tudor ^a   Kriftner, Franz ^a   Marin, Mircea ^a   Tomuta, Elena ^a   Vasaru, Daniela ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; FORMAL LOGIC; NATURAL LANGUAGE PROCESSING SYSTEMS; THEOREM PROVING;

SOFTWARE PACKAGE MATHEMATICA; SOFTWARE PACKAGE THEOREMA;

ALGEBRA;

EID: 0030658215     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)