Pascal and Francis Bibliographic Databases


Search results

Your search

au.\*:("BONACINA, M. P")

Results 1 to 5 of 5

  • Page / 1

Selection :

  • and

The clause-diffusion theorem prover Peers-mcd (system description)BONACINA, M. P.Lecture notes in computer science. 1997, pp 53-56, issn 0302-9743, isbn 3-540-63104-6Conference Paper

On the modelling of search in theorem proving: Towards a theory of strategy analysisBONACINA, M. P; HSIANG, J.Information and computation (Print). 1998, Vol 147, Num 2, pp 171-208, issn 0890-5401Article

Towards a foundation of completion procedures as semidecision proceduresBONACINA, M. P; HSIANG, J.Theoretical computer science. 1995, Vol 146, Num 1-2, pp 199-242, issn 0304-3975Article

A taxonomy of theorem-proving strategiesBONACINA, M. P.Artificial intelligence today (recent trends and developments). Lecture notes in computer science. 1999, pp 43-84, issn 0302-9743, isbn 3-540-66428-9Book Chapter

Analysis of distributed-search contraction-based strategiesBONACINA, M. P.Lecture notes in computer science. 1998, pp 107-121, issn 0302-9743, isbn 3-540-65141-1Conference Paper

  • Page / 1