use of pre-computed models for the guidance of proof search
By: by Seungyeob Choi.
Publisher: University of Birmingham
Published: 2003
Place of publication: Birmingham
Language: eng
Number of pages: 208
Notes: Thesis (Ph.D) - University of Birmingham, School of Computer Science.