• English
    • українська
  • English 
    • English
    • українська
  • Login
View Item 
  • Frontpage
  • Факультет інформаційних технологій та комп'ютерної інженерії
  • Кафедра обчислювальної техніки
  • Наукові роботи каф. ОТ
  • View Item
  • Frontpage
  • Факультет інформаційних технологій та комп'ютерної інженерії
  • Кафедра обчислювальної техніки
  • Наукові роботи каф. ОТ
  • View Item
Сайт інституційного репозитарію ВНТУ містить роботи, матеріали та файли, які були розміщені докторантами, аспірантами та студентами Вінницького Національного Технічного Університету. Для розширення функцій сайту рекомендується увімкнути JavaScript.

Cubic interpretation of resolution principle for propositional calculas

Author
Semerenko, V. P.
Семеренко, В. П.
Date
1996
Metadata
Show full item record
Collections
  • Наукові роботи каф. ОТ [760]
Abstract
Interpretation of resolution principle which is able to realize the resolution procedure for any formula of propositional calculas during finite time and with the possibility of parallel computing are considered
 
Рассматривается интерпретация принципа резолюций, которая позволяет реализовать разрешающую процедуру для любой формулы исчисления высказываний за конечное время и с возможностью параллельной обработки
 
Розглядається інтерпретація принципу резолюцій, яка дозволяє реалізувати дозволяючу процедуру для будь-якої формули числення висловлювань за обмежений час і з можливістю паралельної обробки
 
URI:
http://ir.lib.vntu.edu.ua/handle/123456789/11547
View/Open
bolgaria_1996.pdf (119.3Kb)

Institutional Repository

FrontpageSearchHelpContact UsAbout Us

University Resources

JetIQLibrary websiteUniversity websiteE-catalog of VNTU

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsTypePublisherLanguageUdcISSNPublicationDOIThis CollectionBy Issue DateAuthorsTitlesSubjectsTypePublisherLanguageUdcISSNPublicationDOI

My Account

LoginRegister

Statistics

View Usage Statistics

ISSN 2413-6360 | Frontpage | Send Feedback | Help | Contact Us | About Us
© 2016 Vinnytsia National Technical University | Extra plugins code by VNTU Linuxoids | Powered by DSpace
Працює за підтримки 
НТБ ВНТУ