Carnegie Mellon University
Browse
file.pdf (703.41 kB)

A hole in goal trees : some guidance from resolution theory

Download (703.41 kB)
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

    Keywords

    Artificial intelligence.Problem solving Data processing.Automatic theorem proving.Trees (Graph theory)

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC