Deutsch
     |   Suchergebnis   |       |       |       |       |       |       |      © 1998-2024 OCLC PICA

Download Treffer

Zeitschriftenliste

hebis-Kataloge
1 von 1
      
* Ihre Aktion  suchen Journal of automated reasoning
 Felder   EndNote-Format   RIS-Format   BibTex-Format   MARC21-Format 
Zeitschriften/Serien
PPN:  
047080094
Zeitschrift:  
Erschienen:  
Dordrecht [u.a.] : Springer ; Dordrecht [u.a.] : Kluwer Acad. Publ. [-2004,1] ; Dordrecht [u.a.] : Reidel [früher] , 1.1985 -
Weitere Titelhinweise:  
Online-Ausg.: Journal of automated reasoning. - Dordrecht [u.a.] : Springer Science + Business Media B.V., 1985-. - Online-Ressource. - ISSN 1573-0670
ISSN:  
0168-7433 ; 1573-0670
RVK-Notation:  
 
Mit diesen Schlagwörtern können Sie eine weitere Suche durchführen, indem Sie die gewünschten Checkboxen auswählen und den Button "Schlagwortsuche" anklicken:  
Automatisches Beweisverfahren  Zeitschrift  Informatik  f Zeitschrift  
alle Aufsätze  | alle Hefte  
1 von 1