A Procedure for Automatic Proof Nets Construction.

Didier Galmiche Guy Perrier

Published in: LPAR (1992)

Keyphrases

construction process
fully automatic
semi automatic
theorem proving
proof procedure
database
artificial intelligence
website
clustering algorithm
database systems
wide range
relational databases
search procedure
logical rules