Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов
Issledovanija po prikladnoj matematike (1974)
- Volume: 2, page 56-62
- ISSN: 1072-3374; 1573-8795/e
Access Full Article
top
How to cite
topЗамов, Н.К.. "Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов." Issledovanija po prikladnoj matematike 2 (1974): 56-62. <http://eudml.org/doc/68920>.
@article{Замов1974,
author = {Замов, Н.К.},
journal = {Issledovanija po prikladnoj matematike},
language = {rus},
pages = {56-62},
publisher = {Izd. Kazanskogo universiteta},
title = {Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов},
url = {http://eudml.org/doc/68920},
volume = {2},
year = {1974},
}
TY - JOUR
AU - Замов, Н.К.
TI - Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов
JO - Issledovanija po prikladnoj matematike
PY - 1974
PB - Izd. Kazanskogo universiteta
VL - 2
SP - 56
EP - 62
LA - rus
UR - http://eudml.org/doc/68920
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.