Proof movie - a proof with the boyer-moore prover

Authors
Debora Weber-Wulff
Citation
Debora Weber-wulff, Proof movie - a proof with the boyer-moore prover, Formal aspects of computing The international journal of formal methods , 5(2), 1993, pp. 121-151
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
5
Issue
2
Year of publication
1993
Pages
121 - 151
Database
ACNP
SICI code