Sposob Vstroeniya Pravila Indukcii v Procedury Avtomaticheskogo Dokazatel'stva Teorem s Rezolyuciei

Petar Z. Hotomski

Publications de l'Institut Mathématique (1983)

  • Issue: 53, page 89-95
  • ISSN: 0350-1302

How to cite

top

Petar Z. Hotomski. "Sposob Vstroeniya Pravila Indukcii v Procedury Avtomaticheskogo Dokazatel'stva Teorem s Rezolyuciei." Publications de l'Institut Mathématique (1983): 89-95. <http://eudml.org/doc/255097>.

@article{PetarZ1983,
author = {Petar Z. Hotomski},
journal = {Publications de l'Institut Mathématique},
language = {eng},
number = {53},
pages = {89-95},
publisher = {Matematički institut SANU},
title = {Sposob Vstroeniya Pravila Indukcii v Procedury Avtomaticheskogo Dokazatel'stva Teorem s Rezolyuciei},
url = {http://eudml.org/doc/255097},
year = {1983},
}

TY - JOUR
AU - Petar Z. Hotomski
TI - Sposob Vstroeniya Pravila Indukcii v Procedury Avtomaticheskogo Dokazatel'stva Teorem s Rezolyuciei
JO - Publications de l'Institut Mathématique
PY - 1983
PB - Matematički institut SANU
IS - 53
SP - 89
EP - 95
LA - eng
UR - http://eudml.org/doc/255097
ER -

NotesEmbed ?

top

You must be logged in to post comments.