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: 1.

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

This list was generated on Tue Jun 18 01:10:50 2019 CEST.