Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции
An Improvement of Brodsky’s Coding Method for the Sequent Calculus of First Order Logic. / Moukhachjov, V.P.; Nechitailov, Iu.V.
IJCAR 2001-International Joint Conference on Automated Reasoning. 2001. стр. 113-121.Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции
}
TY - GEN
T1 - An Improvement of Brodsky’s Coding Method for the Sequent Calculus of First Order Logic
AU - Moukhachjov, V.P.
AU - Nechitailov, Iu.V.
PY - 2001
Y1 - 2001
M3 - статья в сборнике материалов конференции
SP - 113
EP - 121
BT - IJCAR 2001-International Joint Conference on Automated Reasoning
ER -
ID: 4788921