Open AccessО символических моделях для функциональной логики доказательств
Author(s) -
V. N. Krupskii,
Vladimir N. Krupski
Publication year - 2011
Publication title -
matematičeskij sbornik
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2305-2783
pISSN - 0368-8666
DOI - 10.4213/sm7665
Subject(s) - chemistry