Focused Natural Deduction

Taus Brock-Nannestad; Carsten Schürmann

Focused Natural Deduction

Computer Science

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	roceeding of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Antal sider	15
Forlag	Springer
Publikationsdato	2010
Sider	157
Kapitel	171
Status	Udgivet - 2010

Navn	Lecture Notes in Computer Science
Nummer	6397

Citationsformater

@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. s. 157 (Lecture Notes in Computer Science; Nr. 6397).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review