Standard

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. p. 113-121.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

Harvard

Moukhachjov, VP & Nechitailov, IV 2001, An Improvement of Brodsky’s Coding Method for the Sequent Calculus of First Order Logic. in IJCAR 2001-International Joint Conference on Automated Reasoning. pp. 113-121.

APA

Moukhachjov, V. P., & Nechitailov, I. V. (2001). An Improvement of Brodsky’s Coding Method for the Sequent Calculus of First Order Logic. In IJCAR 2001-International Joint Conference on Automated Reasoning (pp. 113-121)

Vancouver

Moukhachjov VP, Nechitailov IV. An Improvement of Brodsky’s Coding Method for the Sequent Calculus of First Order Logic. In IJCAR 2001-International Joint Conference on Automated Reasoning. 2001. p. 113-121

Author

Moukhachjov, V.P. ; Nechitailov, Iu.V. / An Improvement of Brodsky’s Coding Method for the Sequent Calculus of First Order Logic. IJCAR 2001-International Joint Conference on Automated Reasoning. 2001. pp. 113-121

BibTeX

@inproceedings{8e08fc3ee32c478abe553abb85787665,
title = "An Improvement of Brodsky{\textquoteright}s Coding Method for the Sequent Calculus of First Order Logic",
author = "V.P. Moukhachjov and Iu.V. Nechitailov",
year = "2001",
language = "не определен",
pages = "113--121",
booktitle = "IJCAR 2001-International Joint Conference on Automated Reasoning",

}

RIS

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