Правило Индукции В Доказательствах Опровержением С Применением К Автоматическому Доказательству Теорем
Publications de l'Institut Mathématique (1982)
- Issue: 51, page 51-63
- ISSN: 0350-1302
Access Full Article
top
How to cite
topПетар З. Хотомски. "Правило Индукции В Доказательствах Опровержением С Применением К Автоматическому Доказательству Теорем." Publications de l'Institut Mathématique (1982): 51-63. <http://eudml.org/doc/255373>.
@article{ПетарЗ1982,
author = {Петар З. Хотомски},
journal = {Publications de l'Institut Mathématique},
language = {rus},
number = {51},
pages = {51-63},
publisher = {Matematički institut SANU},
title = {Правило Индукции В Доказательствах Опровержением С Применением К Автоматическому Доказательству Теорем},
url = {http://eudml.org/doc/255373},
year = {1982},
}
TY - JOUR
AU - Петар З. Хотомски
TI - Правило Индукции В Доказательствах Опровержением С Применением К Автоматическому Доказательству Теорем
JO - Publications de l'Institut Mathématique
PY - 1982
PB - Matematički institut SANU
IS - 51
SP - 51
EP - 63
LA - rus
UR - http://eudml.org/doc/255373
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.