Verbalization of high-level formal proofs

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 1999, Pages 277-284

  Holland Minkley, Amanda M ^a   Barzilay, Regina ^a   Constable, Robert L ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL GRAMMARS; INTERACTIVE COMPUTER SYSTEMS; MATHEMATICAL MODELS; NATURAL LANGUAGE PROCESSING SYSTEMS; THEOREM PROVING;

INTERACTIVE THEOREM PROVER; MATHEMATICS COMMUNICATION CONVENTIONS; TEXT GENERATION;

TEXT PROCESSING;

EID: 0032596621     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (23)