Axiomatic proofs through automated reasoning

Bulletin of the Section of Logic, Tom 29, Numer 3 (2000) s. 125-136
Branden Fitelson, Larry Wos

 

do góry