AN APPROACH OF A LOGIC RESOLVER IN A DISTRIBUTED PEER-TO-PEER SYSTEM
Nikos Papadakis, Pavlos Kefalas, Antonis Delidakis, Kostas Papadakis · International Journal of Computers and Applications · 2012
Logic in computer science describes topics where logic is applied to the representation of knowledge and artificial intelligence, including digital circuit design, database systems, inference systems and more.