Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Author Details:
Firstname
Franz
Lastname
Baader
Email
baader@tcs.inf.tu-dresden.de
URL
http://lat.inf.tu-dresden.de/~baader/index-en.html
Webmaster