A sua pesquisa recuperou 2 resultados. Subscrever esta pesquisa

|
1. ProverX : rewriting and extending prover9 / Ivo Robert Monografia Publicação [S.l.] : [s.n.], 2020 Descrição IX, 138 p. Cota: L.S. 53191 TD Disponibilidade Exemplares para consulta (1). Acesso virtual Acesso no Repositório Aberto

2. ProverX : rewriting and extending prover9 / Ivo Robert Monografia Publicação [S.l.] : [s.n.], 2020 Descrição 1 disco ótico (CD-ROM) Cota: L.C. 2318 Disponibilidade Exemplares para consulta (1). Acesso virtual Acesso no Repositório Aberto