Akademisches PublikationsmanagementPublikationen sammeln, verwalten und teilen.
Melden Sie sich hier mit Ihrem Bibliotheksdaten an.
Melden Sie sich als Gruppe an.
Ich habe mein Passwort vergessen.
S. Ferr�, und O. Ridoux. Computational Logic, Volume 1861 von Lecture Notes in Computer Science, Seite 1033-1047. Springer, (2000)