ITU

Focused Natural Deduction

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

Original languageEnglish
Title of host publicationroceeding of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Number of pages15
PublisherSpringer
Publication date2010
Pages157
Chapter171
Publication statusPublished - 2010
SeriesLecture Notes in Computer Science
Number6397

ID: 31647305