Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium,...

Symbolic Computation and Automated Reasoning - 9781568811451

Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Join...

Automated Technology for Verification and Analysis: 23rd International Symposium

Formal Methods: 25th International Symposium, FM 2023, L?beck, Germany, March 6-

Eurosam 84 : International Symposium on Symbolic and Algebraic Computation, C...

Mathematics and Computation, a Contemporary View: The Abel Symposium 2006 by Han