ENGLISH

Machine learning and automated theorem proving

By Bridge , James P

Book information

Publisher
University of Cambridge, Computer Laboratory
Year
2010
Language
english
Format
DJVU
Filesize
2 MB (2066799 bytes)
Series
UCAM-CL-TR-792
Edition
phd thesis
Pages
180\180
Library
Kolxo3
DPI
600
Time added
2013-04-15 18:00:00

Similar books