An Interface between Theorema and External Automated Deduction Systems.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2001.
Editors	Steve Linton and Roberto Sebastiani
Pages	178-182
Number of pages	5
Publication status	Published - Jun 2001

Fields of science

@inproceedings{8aac8a5b88a54aa499c70441a588c2c8,

title = "An Interface between Theorema and External Automated Deduction Systems.",

author = "Teimuraz Kutsia and Koji Nakagawa",

year = "2001",

month = jun,

language = "English",

pages = "178--182",

editor = "\{Steve Linton and Roberto Sebastiani\}",

booktitle = "Proceedings of the 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2001.",

}

An Interface between Theorema and External Automated Deduction Systems. / Kutsia, Teimuraz; Nakagawa, Koji.
Proceedings of the 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2001.. ed. / Steve Linton and Roberto Sebastiani. 2001. p. 178-182.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - An Interface between Theorema and External Automated Deduction Systems.

AU - Kutsia, Teimuraz

AU - Nakagawa, Koji

PY - 2001/6

Y1 - 2001/6

M3 - Conference proceedings

SP - 178

EP - 182

BT - Proceedings of the 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2001.

A2 - Steve Linton and Roberto Sebastiani, null

ER -