Ausgabe 1/1998
Inhalt (5 Artikel)
Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry
Li Hongbo, Cheng Minteh
A Framework for Automated Reasoning in Multiple-Valued Logics
James J. Lu, Neil V. Murray, Erik Rosenthal