Focused Natural Deduction

Taus Brock-Nannestad; Carsten Schürmann

Focused Natural Deduction

Taus Brock-Nannestad
, Carsten Schürmann

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	roceeding of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Number of pages	15
Publisher	Springer
Publication date	2010
Pages	157
Chapter	171
Publication status	Published - 2010

Series	Lecture Notes in Computer Science
Number	6397

Cite this

@inproceedings{242c9ed0f43144359c4885bdc5cedeb2,

title = "Focused Natural Deduction",

author = "Taus Brock-Nannestad and Carsten Sch{\"u}rmann",

year = "2010",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "6397",

pages = "157",

booktitle = "roceeding of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning",

address = "Germany",

}

Focused Natural Deduction. / Brock-Nannestad, Taus; Schürmann, Carsten.
roceeding of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Springer, 2010. p. 157 (Lecture Notes in Computer Science; No. 6397).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review