Buchumschlag

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

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.

Gespeichert in:
Bibliographische Detailangaben
Datum:2018
1. Verfasser: Dotsenko, V. A.
Format: Artikel
Sprache:Ukrainisch
Veröffentlicht: The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2018
Online Zugang:http://journal.iasa.kpi.ua/article/view/127655
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:System research and information technologies

Institution

System research and information technologies

Ähnliche Einträge

Ähnliche Einträge