Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 15 von 3146
    Datensatz exportieren als...
  • BibTeX
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
1, 2020
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
Auflage
1
Ort / Verlag
Cham: Springer International Publishing AG
Erscheinungsjahr
2020
Quelle
Alma/SFX Local Collection
Sprache
Englisch
Identifikatoren
ISBN: 9783030510534, 3030510530
ISSN: 0302-9743
eISSN: 1611-3349
DOI: 10.1007/978-3-030-51054-1
Titel-ID: cdi_springer_books_10_1007_978_3_030_51054_1
Format
–
Schlagworte
Artificial Intelligence, Automatic theorem proving-Congresses, Computer Science, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Software Engineering

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX