# metadata.dc.description.abstract[].value
En la demostració automàtica es planteja el problema de trobar, en un cert llenguatge formal, mètodes mecànics de demostració de teoremes que puguin dur-se a la pràctica. El llenguatge formal que es faci servir ha de complir dos requisits bàsics: (a) Ha de tenir una capacitat expressiva prou àmplia per poder representar problemes formals. (b) Ha de tenir la propietat que, a través d'ell, sigui possible desenvolupar Mecanismes d'inferència automàtica que puguin ser implementats en un ordinador.

# metadata.dc.relation.ispartof[].value
Butlletí de la Societat Catalana de Matemàtiques, 2000, vol. 15, num. 1, p. 55-70

# metadata.dc.rights[].value
cc-by-nc-nd (c) Martínez Alonso, Juan Carlos, 2000

# metadata.dc.source[].value
Articles publicats en revistes (Matemàtiques i Informàtica)