CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 122
Titolo Data di pubblicazione Autore(i) File
Cumulating search in a distributed computing environment: a case study in parallel satisfiability 1-gen-1994 Hantao, Zhang; Bonacina, Maria Paola
On the reconstruction of proofs in distributed theorem proving with contraction: a modified Clause-Diffusion method 1-gen-1994 Bonacina, Maria Paola
Parallelization of deduction strategies: an analytical study 1-gen-1994 Bonacina, Maria Paola; Jieh, Hsiang
Distributed theorem proving by Peers 1-gen-1994 Bonacina, Maria Paola; William W., Mccune
On subsumption in distributed derivations 1-gen-1994 Bonacina, Maria Paola; Jieh, Hsiang
Towards a foundation of completion procedures as semidecision procedures 1-gen-1995 Bonacina, Maria Paola; Jieh, Hsiang
The Clause-Diffusion methodology for distributed deduction 1-gen-1995 Bonacina, Maria Paola; Jieh, Hsiang
Distributed deduction by Clause-Diffusion: distributed contraction and the Aquarius prover 1-gen-1995 Bonacina, Maria Paola; Jieh, Hsiang
Future directions of automated deduction: Strategy analysis for theorem proving (Position paper) 1-gen-1996 Bonacina, Maria Paola
Future directions of automated deduction: Distributed automated deduction (Position paper) 1-gen-1996 Bonacina, Maria Paola
On the representation of dynamic search spaces in theorem proving 1-gen-1996 Bonacina, Maria Paola; Jieh, Hsiang
A note on the analysis of theorem-proving strategies 1-gen-1996 Bonacina, Maria Paola
On the reconstruction of proofs in distributed theorem proving: a modified Clause-Diffusion method 1-gen-1996 Bonacina, Maria Paola
On semantic resolution with lemmaizing and contraction 1-gen-1996 Bonacina, Maria Paola; Jieh, Hsiang
A category-theoretic treatment of automated theorem proving 1-gen-1996 Bonacina, Maria Paola; Jieh, Hsiang
PSATO: a distributed propositional prover and its application to quasigroup problems 1-gen-1996 Hantao, Zhang; Bonacina, Maria Paola; Jieh, Hsiang
Notes of the First International Workshop on First-order Theorem Proving (FTP) 1-gen-1997 Bonacina, Maria Paola; Ulrich, Furbach
Machine-independent evaluation of theorem-proving strategies (Position paper) 1-gen-1997 Bonacina, Maria Paola
A note on the analysis of theorem-proving strategies 1-gen-1997 Bonacina, Maria Paola
On the representation of parallel search in theorem proving 1-gen-1997 Bonacina, Maria Paola
Mostrati risultati da 21 a 40 di 122
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile