DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
title:(NaDeA\: AND A AND Natural AND Deduction AND Assistant AND with AND a AND Formalization AND in AND Isabelle)
Suggestions: Include records that partially match the query
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle
Year: 2017
Language: English
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle
Proceedings of the Fourth International Conference on Tools for Teaching Logic (ttl 2015) — 2015, pp. 253-262
Year: 2015
Language: English
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle
Year: 2015
Language: Undetermined