Open AccessTHE PARALLEL METHOD INFERENCE IN PREDICATE CALCULUS WITH FACTS DETERMINATION
Author(s) -
D.V. Vozhegov,
D.A. Strabikin
Publication year - 2016
Publication title -
naučno-tehničeskij vestnik povolžʹâ
Language(s) - English
Resource type - Journals
ISSN - 2079-5920
DOI - 10.24153/2079-5920-2016-6-5-170-177
Subject(s) - inference , calculus (dental) , computer science , predicate (mathematical logic) , mathematics , programming language , artificial intelligence , medicine , dentistry