The Kreisel length-of-proof problem Journal Articles

authors

• Farmer, William Michael

status

• published 

publication date

• March 1992

has subject area

• 0102 Applied Mathematics (FoR)
• 0801 Artificial Intelligence and Image Processing (FoR)
• 0802 Computation Theory and Mathematics (FoR)
• Artificial Intelligence & Image Processing (Science Metrix)

published in

• Annals of Mathematics and Artificial Intelligence  Journal

keywords

• 49 Mathematical Sciences
• 4904 Pure Mathematics

Digital Object Identifier (DOI)

• 10.1007/bf01531022

start page

• 27

end page

• 55

volume

• 6

issue

• 1-3