Artikel-Details (Art.-Nr. 8813197)

Titel:
Journal of Automated Reasoning PRINT
Artikelnummer:
8813197
ISSN:
0168-7433 (01687433)
Erscheinungsform:
Print
Erscheinungsweise:
Heft/Band
 
2 Bände
 
8 Hefte
Sprache:
englisch
Verlag:
Springer Verlag, D-Heidelberg

Weitere Ausgaben dieses Artikels:


Weitere Informationen & Preise zu diesem Titel / Abo einholen

Suchverweise