Tishchenko S I

Publications in Math-Net.Ru

1. Deductive inference using necessary and sufficient deducibility conditions in first-order predicate calculus
   
   Avtomat. i Telemekh., 1993, no. 9,  136–153