Browse
Search
Explore more content
file.
pdf
(703.41 kB)
File info
This item contains files with download restrictions
Fullscreen
A hole in goal trees : some guidance from resolution theory
Cite
Download
(703.41 kB)
Share
Embed
journal contribution
posted on 2015-07-01, 00:00
authored by
Donald W. Loveland
,
M. E.(Mark E.) Stickel
Computer Science Department
History
Publisher Statement
Copyright © 2015 International Joint Conferences on Artificial Intelligence
Date
2015-07-01
Usage metrics
Categories
Information and Computing Sciences not elsewhere classified
Keywords
Artificial intelligence.
Problem solving Data processing.
Automatic theorem proving.
Trees (Graph theory)
Licence
In Copyright
Exports
Select an option
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC