TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Korn, Daniel (1999):
Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik.
198St. Augustin, Infix, TU Darmstadt, [Ph.D. Thesis]

Korn, Daniel and Kreitz, (1997):
Deciding intuitionistic propositional logic via translation into classical logic.
1249In: International Conference on Automated Deduction <14, 1997>: Proceedings. Hrsg.: W. McCune. S. 131-145, Berlin, Heidelberg (u.a.): Springer, 1997,
Berlin, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

This list was generated on Tue Oct 27 02:05:37 2020 CET.