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.

Bjorner, Nikolaj ; Hähnle, Reiner ; Nipkow, Tobias ; Weidenbach, Christoph (2013):
Deduction and Arithmetic (Dagstuhl Seminar 13411).
In: Dagstuhl Reports, 3 (10), pp. 1-24. DOI: 10.4230/DagRep.3.10.1,
[Article]

Hähnle, Reiner ; Kerber, Manfred ; Weidenbach, Christoph (1996):
Common Syntax of DFG-Schwerpunktprogramm "Deduktion".
(10/96), [Report]

This list was generated on Tue Sep 27 04:09:26 2022 CEST.