Automated theorem proving : a logical basis / Donald W. Loveland

• Autore: Loveland, Donald W.
• Pubblicazione: Amsterdam [etc.] : North-Holland, 1978
• Descrizione fisica: xii, 405 p. : ill. ; 23 cm
• Soggetto non controllato: Cibernetica; Teoria dei giochi; Teoria degli automi; Intelligenza artificiale
• Titolo autorizzato: Automated theorem proving
• ISBN: 0-7204-0499-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 990000996400403321
• Lo trovi qui: Univ. Federico II
• Collocazione: 8-128.005