1. |
The international journal of evidence & proof. - Sark, Channel Islands: Vathek Publishing, 1996-. - Online-Ressource, ISSN 1740-5572 1.1996 -
Online-Ressource Zeitschrift
|
|
|
2. |
International commentary on evidence : ICE. - Berlin ; Boston, Mass.: De Gruyter, 1998-2018. - Online-Ressource, ISSN 1554-4567 1.1998-Band 16, Heft 1 (Dezember 2018) ; damit Erscheinen eingestellt
Online-Ressource Zeitschrift
|
|
|
3. |
Journal of automated reasoning. - Dordrecht [u.a.]: Springer Science + Business Media B.V., 1985-. - Online-Ressource, ISSN 1573-0670 1.1985 -
Online-Ressource Zeitschrift
|
|
|
4. |
Archiv für gerichtliche Schriftuntersuchungen und verwandte Gebiete. - Leipzig: Barth, 1909-1909 1.1907/09(1909); damit Ersch. eingest.
Zeitschrift
|
|
|
5. |
Rewriting techniques and applications : proceedings / RTA. - Berlin ; Heidelberg [u.a.]: Springer, 1985-1989 1.1985 - 3.1989
Zeitschrift
|
|
|
6. |
Proceedings / International Conference on Automated Deduction. - Berlin ; Heidelberg [u.a.]: Springer, 1984-1988 7.1984 - 9.1988
Zeitschrift
|
|
|