Avtomat. i Telemekh., 1993 Issue 9, Pages 136–153
(Mi at3019)
|
Simulation of Behavior and Intelligence
Deductive inference using necessary and sufficient deducibility conditions in first-order predicate calculus
S. I. Tishchenko
UDC:
519.816
MSC: Primary
68T15; Secondary
03B35,
68T20,
68T30 Received: 07.09.1992
English version:
Automation and Remote Control, 1993,
54:9,
1416–1430
Bibliographic databases:
© , 2024