@incollection{Kosovskaya18,
author = {Tatiana Kosovskaya},
title = {Predicate Calculus as a Tool for AI Problems Solution: Algorithms and Their Complexity},
booktitle = {Intelligent System},
publisher = {IntechOpen},
address = {Rijeka},
year = {2018},
editor = {Chatchawal Wongchoosuk},
chapter = {3},
doi = {10.5772/intechopen.72765},
url = {https://doi.org/10.5772/intechopen.72765}
}