Login Help

author = Green, C. Cordell (1 entries)  Select: All None   Action: Show BibTeX

C. Cordell Green. 1969. Application of theorem proving to problem solving. In Proc. First International Joint Conference on Artificial Intelligence, pp 219-239. Reprint:Allen et al, Readings in Planning, rdgsai. [AI] google scholar

x$Id: bibtex.php,v 1.59 2021/01/12 08:36:11 dyuret Exp $   download