Title: Symbolic computation and automated reasoning
First published: 2001
Subjects: Congresses, Algebra, Data processing, Automatic theorem proving, Algebra, data processing, Algèbre, Congrès, Informatique, Théorèmes, Démonstration automatique, Computerwiskunde, Automatische bewijsvoering
LC classification: QA155.7.E4 C35 2000