KIAM Main page Web Library  •  Publication Searh  Русский 
Publication

KIAM Preprint № 116, Moscow, 1977
Authors: Попов С.В.
Некоторые сложностные характеристики выводов в исчислениях высказываний
Publication language: russian
Export link to publication in format:   RIS    BibTeX
About authors:
  • Попов С.В.