TU Darmstadt / ULB / TUbiblio

Deduction and Arithmetic (Dagstuhl Seminar 13411)

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]

Item Type: Article
Erschienen: 2013
Creators: Bjorner, Nikolaj ; Hähnle, Reiner ; Nipkow, Tobias ; Weidenbach, Christoph
Title: Deduction and Arithmetic (Dagstuhl Seminar 13411)
Language: German
Journal or Publication Title: Dagstuhl Reports
Volume of the journal: 3
Issue Number: 10
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 27 Apr 2018 10:52
DOI: 10.4230/DagRep.3.10.1
URL / URN: https://doi.org/10.4230/DagRep.3.10.1
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details