Skip to search boxSkip to navigationSkip to main content

Focused Natural Deduction

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 157 (15 pages)

Publication milestones

  • Published - 2010

Publication status

Published - 2010

Publisher

Springer, United States, Germany

Book series

  • Book series name: Lecture Notes in Computer Science
    Series number: 6397

Chapter Number

171

Publication IDs

  • Scopus: 78449240760

Host publication title

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