@article{Суворов1976, author = {Суворов, П.Ю.}, journal = {Zapiski naucnych seminarov Leningradskogo}, keywords = {формальный язык; свойства пропозициональных формул; подмножество предложений формального языка; класс пропозициональных формул; распознавание тавтологичности; длина формулы}, language = {rus}, pages = {197-206}, publisher = {Nauka}, title = {О распознавании тавтологичности пропозициональных формул}, url = {http://eudml.org/doc/66287}, volume = {60}, year = {1976}, }
TY - JOUR AU - Суворов, П.Ю. TI - О распознавании тавтологичности пропозициональных формул JO - Zapiski naucnych seminarov Leningradskogo PY - 1976 PB - Nauka VL - 60 SP - 197 EP - 206 LA - rus KW - формальный язык; свойства пропозициональных формул; подмножество предложений формального языка; класс пропозициональных формул; распознавание тавтологичности; длина формулы UR - http://eudml.org/doc/66287 ER -