Dusan Guller. A DPLL Procedure for the Propositional Gödel Logic. In Joaquim Filipe, Janusz Kacprzyk, editors, ICFC-ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation, [parts of the International Joint Conference on Computational Intelligence IJCCI 2010], Valencia, Spain, October 24-26, 2. pages 31-42, SciTePress, 2010.
No reviews for this publication, yet.