Proving a Theorem (as Done by Man, Logician, or Machine)

Publisher Website

1 January 1983

book chapter
Published by Springer Nature

p. 74-76
https://doi.org/10.1007/978-3-642-81952-0_5

Abstract

No abstract available

This publication has 0 references indexed in Scilit: