Skip to content
Vinony

P. Miglioli

No biography available.

Works (3)

Cover of Theoretical computer science
Theoretical computer science
Cover of Theorem proving with analytic tableaux and related methods
Theorem proving with analytic tableaux and related methods
1996
Cover of Theorem proving with analytic tableaux and related methods
Theorem proving with analytic tableaux and related methods