Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=019723504



Treffer 1 von 1 < < > <



Zeitschriften/Serien
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 http://www.bibliothek.uni-regensburg.de/ezeit/?1479376 (Elektronische Zeitschriftenbibliothek)
http://link.springer.com/journal/10817 (Verlag)
http://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 826 Artikel
  1. From Specification to Testing: Semantics Engineering for Lua 5.2
    Enthalten in Journal of automated reasoning 11.8.2022: 1-48
  2. Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic
    Enthalten in Journal of automated reasoning 6.8.2022: 1
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration