Item type:Journal Article,

Deduktion: von der Theorie zur Anwendung

Thumbnail Image

Fulltext URI

Document type

Text/Journal Article

Additional Information

Date

2010

relationships.isAuthorOf

Journal Title

Journal ISSN

Volume Title

Source

Informatik-Spektrum: Vol. 33, No. 5

Publisher

Springer-Verlag

Abstract

Description

Baader, Franz; Beckert, Bernhard; Nipkow, Tobias (2010): Deduktion: von der Theorie zur Anwendung. Informatik-Spektrum: Vol. 33, No. 5. Berlin Heidelberg: Springer-Verlag. PISSN: 1432-122X. pp. 444-451

Keywords

Citation

DOI

URI

URI

https://dl.gi.de/handle/20.500.12116/9566

Collections

Band 33 - Heft 5 (Oktober 2010)

Endorsement

Review

Supplemented By

Referenced By