Intellectual Systems

Fast Algorithm of Deduction Recognition for Monadic Logical Programs

M. I. Kratko^a, G. S. Plesnevich<sup>b

a</sup> Volyn State University, Lutsk, Ukraine
^b Moscow State Aviation Technological Institute

UDC: 517.714.3

Presented by the member of Editorial Board: O. P. Kuznetsov

Received: 01.06.2001

 English version: Automation and Remote Control, 2001, 62:10, 1620–1631

Bibliographic databases:

• 
• 
• 
•