Cover Image

Конструктивний алгоритм зворотного методу для числення висловлювань

A general scheme of the inverse method by S. Maslov for the sentential calculus is considered. A line of heuristic strategies and rules of conclusion on reduction of search and a constructive algorithm for the inverse method for the sentential calculus are described.

Saved in:
Bibliographic Details
Date:2018
Main Author: Dotsenko, V. A.
Format: Article
Language:Ukrainian
Published: The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2018
Online Access:http://journal.iasa.kpi.ua/article/view/127655
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:System research and information technologies

Institution

System research and information technologies

Similar Items

Similar Items