Computer-Aided Design and Programming

Language generation and recognition over terms

A. V. Babichev

Moscow

Abstract: Logical inference is discussed for systems of axioms which are assigned by Horn's formulae of a special kind. A method is proposed of program development by obtaining an inference for a specified systems of axioms.

UDC: 519.68:510


Received: 26.03.1986

 English version: Automation and Remote Control, 1988, 49:9, 1224–1232

Bibliographic databases:

• 
•