Управление диалогом и логический вывод в конечных предикатах
- Volume: 123, page 40-45
- ISSN: 0542-9994
Access Full Article
topHow to cite
topЛевченко, В.И., and Савинов, А.А.. "Управление диалогом и логический вывод в конечных предикатах." Matematiceskie issledovanija 123 40-45. <http://eudml.org/doc/190160>.
@article{Левченко,
author = {Левченко, В.И., Савинов, А.А.},
journal = {Matematiceskie issledovanija},
language = {rus},
pages = {40-45},
publisher = {Institut Matematiki s Vycislitel'nym Centrom, Akademija Nauk Moldavskoj SSR},
title = {Управление диалогом и логический вывод в конечных предикатах},
url = {http://eudml.org/doc/190160},
volume = {123},
}
TY - JOUR
AU - Левченко, В.И.
AU - Савинов, А.А.
TI - Управление диалогом и логический вывод в конечных предикатах
JO - Matematiceskie issledovanija
PB - Institut Matematiki s Vycislitel'nym Centrom, Akademija Nauk Moldavskoj SSR
VL - 123
SP - 40
EP - 45
LA - rus
UR - http://eudml.org/doc/190160
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.