PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Degano P., Moccaferro C., Sirovich F. A non complete, yet always terminating theorem prover. Gia' apparsa come nota scientifica dell'Istituto di Scienze dell'Informazione, Universita' di Pisa, dicembre. Dicembre 1979. Internal note IEI-B79-39, 1979.
 
 
Abstract
(English)
No abstract available
Subject



Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional