Multi-valued Extension of Putnam-Davis Procedure

Krystian Jobczyk, Antoni Ligeza. Multi-valued Extension of Putnam-Davis Procedure. In Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada, editors, Artificial Intelligence and Soft Computing - 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II. Volume 10246 of Lecture Notes in Computer Science, pages 454-465, Springer, 2017. [doi]

Authors

Krystian Jobczyk

This author has not been identified. Look up 'Krystian Jobczyk' in Google

Antoni Ligeza

This author has not been identified. Look up 'Antoni Ligeza' in Google