Jean Gallier
Jean Henri Gallier (born 1949) is a researcher in computational logic at the University of Pennsylvania, where he holds appointments in the Computer and Information Science Department and the Department of Mathematics. Provided by Wikipedia-
1
The Completeness of Propositional Resolution: A Simple and Constructive Proof
Published 2006-11-01Get full text
Article