Artificial intelligence

Scientific journal

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Select your language


Особенности применения конструктивного алгоритма обратного метода для секвенциального исчисления предикатов

Dotsenko V.1
1 National Technical University of Ukraine «Kiev Polytechnic Institute»

Full text (PDF)

UDC: 681:519.68
Publication Language: Ukrainian
Stuc. intelekt. 2008; 13(3):655-662

Abstract:

Keywords:

References:

View full text (PDF)