skip to main content
Idioma:

Communication predicates a complete strategy for resolution-based theorem provers

Roberto L. de Carvalho Emmanuel Lopes Passos; Silvia R. G Peixoto

Rio de Janeiro Puc 1978

Localização: IME - Inst. Matemática e Estatística    (S M751 1978 v.15 )(Acessar)

Voltar para lista de resultados
Resultado  1 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.