Проблема разрешения проблем разрешения.
Algebra i Logika (1969)
- Volume: 8, Issue: 6, page 640-642
- ISSN: 0373-9252
Access Full Article
top
How to cite
topГуревич, Ю.Ш.. "Проблема разрешения проблем разрешения.." Algebra i Logika 8.6 (1969): 640-642. <http://eudml.org/doc/186769>.
@article{Гуревич1969,
author = {Гуревич, Ю.Ш.},
journal = {Algebra i Logika},
keywords = {проблема разрешения; язык логики предикатов первой ступени; машина Ганфа; рекурсивно перечислимое множество; машина Тьюринга},
language = {rus},
number = {6},
pages = {640-642},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Проблема разрешения проблем разрешения.},
url = {http://eudml.org/doc/186769},
volume = {8},
year = {1969},
}
TY - JOUR
AU - Гуревич, Ю.Ш.
TI - Проблема разрешения проблем разрешения.
JO - Algebra i Logika
PY - 1969
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 8
IS - 6
SP - 640
EP - 642
LA - rus
KW - проблема разрешения; язык логики предикатов первой ступени; машина Ганфа; рекурсивно перечислимое множество; машина Тьюринга
UR - http://eudml.org/doc/186769
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.