Istituto di Scienza e Tecnologie dell'Informazione     
Aiello M., Weyhrauch R. Checking proofs in the metamathematics of first order logic. In: Advance Papers 4th International Joint Conference on Artificial Intelligence (Tbilisi, 1975). Proceedings, pp. 1 - 8. (The Artificial Intelligence Laboratory). 1975.
First order theories not only can be used in proving properties of programs, but have also relevance in representation theory. The desire to represent first order theories in a computer in a feasible way requires the facility to discuss metamathematical notions.

Icona documento 1) Download Document PDF

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