Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=019723504
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/019723504 |
Art des Inhalts | Zeitschrift |
Titel | Journal of automated reasoning |
Verlag |
Dordrecht [u.a.] : Springer Science + Business Media B.V. Dordrecht [u.a.] : Kluwer [-2004] |
Zeitliche Einordnung | Erscheinungsdatum: 1985- |
Zählung | 1.1985 - |
Umfang/Format | Online-Ressource |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Journal of automated reasoning |
URL |
https://ezb.ur.de/?1479376-3 (Elektronische Zeitschriftenbibliothek) https://link.springer.com/journal/10817 (Verlag) https://link.springer.com/journal/10817 (Verlag; 1.1985 - 29.2002) (Nationallizenz) |
ISSN | ISSN der Vorlage: 1573-0670 |
Sprache(n) | Englisch (eng) |
Anmerkungen | Gesehen am 01.11.05 |
Zugehörige Artikel |
865 Artikel
|
![E-Mail-Icon](/static/bilder/icon_email_klein.gif)