Paper Info
Title
Deduktion: von der Theorie zur Anwendung
Year
DOI
Venue
2010
10.1007/s00287-010-0461-3
Informatik Spektrum
DocType
Volume
Issue
Journal
33
5
ISSN
Citations 
PageRank 
1432-122X
1
0.36
References 
Authors
22
3
Name
Order
Citations
PageRank
Franz Baader18123646.64
Bernhard Beckert286286.50
Tobias Nipkow33056232.28