The blue social bookmark and publication sharing system.
Log in with your username.
I've lost my password.
Log in with your OpenID-Provider.
M. Thimm. Proceedings of the 2017 International Workshop on Theory and Applications of Formal Argument (TAFA'17)
, (August 2017)
BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany.