Elisa : a new system for AI-assisted logico-mathematical scientific discovery incorporating novel techniques in infinite model finding

Thumbnail Image
Files
17907_shilla-thesis.pdf (2.56 MB)
17908_shilla-abs.pdf (30.45 KB)
Authors
Shilliday, Andrew Edward
Issue Date
2009-05
Type
Electronic thesis
Thesis
Language
ENG
Keywords
Computer science
Research Projects
Organizational Units
Journal Issue
Alternative Title
Abstract
Description
May 2009
School of Science
Full Citation
Publisher
Rensselaer Polytechnic Institute, Troy, NY
Terms of Use
Journal
Volume
Issue
URI
https://hdl.handle.net/20.500.13015/2218
PubMed ID
DOI
ISSN
EISSN
Collections
RPI Theses Online (Complete)