Report copyright - Formalizac~ao da Prova do Teorema de Exist^encia de … · Agradeco ao amigo Wagner, ... conhecido algoritmo de uni cac~ao de Robinson de primeira ordem. ... The proof of the theorem
Please pass captcha verification before submit form