Some new results on resolution in automated theorem proving,
Data(s) |
01/01/1968
|
---|---|
Resumo |
Issued also as thesis (M.S.) University of Illinois. "Supported in part by the National Science Foundation under Grant no. NSF-GP-4636." Bibliography: leaf 23. Mode of access: Internet. |
Formato |
con |
Identificador | |
Idioma(s) |
eng |
Publicador |
Urbana, |
Direitos |
Items in this record are available as Creative Commons Attribution-NonCommercial-ShareAlike. View access and use profile at http://www.hathitrust.org/access_use#cc-by-nc-sa-3.0. Please see individual items for rights and use statements. |
Palavras-Chave | #Functions #Computer science |
Tipo |
text |