Logic, Construction, Computation

Bibliographic Data

ID24206248
EditorsUlrich Berger (0000-0001-9002-6877), Hannes Diener, Peter Schuster (0000-0002-2253-8827), Monika Seisenberger
Year2012
Publication date2012-12-31
Open AccessNo
TypeBOOK
VenueLogic, Construction, Computation (SOURCE_BOOK)
PublisherDe Gruyter (PUBLISHER • DE)
DOI10.1515/9783110324921
ISBN9783110324921
Open LibraryOL36714164M
LanguageEN

Tools

Open DOILibgen