Search alternatives:
oyer » over, oder, dyer
boyer » bover, boder, bdyer
Cover Image
Read Now

1
Published 1980
Springer Berlin Heidelberg
Table of Contents: “...-varying model -- An experiment with the Boyer-Moore theorem prover: A proof of the correctness of a simple...”