guest ::
Preface: Special Issue of Selected Extended Papers of IJCAR 2010
;
In
[Special Issue on Selected Papers from the 5th International Joint Conference on Automated Reasoning]
In
Journal of automated reasoning 47(4 Special Issue: SI), Seiten/Artikel-Nr.:337-339
2011
Online
DOI: 10.1007/s10817-011-9240-3
Einrichtungen
- Fachgruppe Informatik (120000)
- Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation) (121420)
Dokumenttyp
Journal Article (Preface)/Contribution to a conference proceedings
Format
online, print
Sprache
English
Externe Identnummern
WOS Core Collection: WOS:000297732500001
SCOPUS: SCOPUS:2-s2.0-83555168257
Interne Identnummern
RWTH-CONV-059750
Datensatz-ID: 183139
Beteiligte Länder
Germany
|
The record appears in these collections: |