Hrsg.: Giesl, Jürgen ; Hähnle, Reiner (2010)
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings.
doi: 10.1007/978-3-642-14203-1
Buch, Bibliographie
URL / URN: https://doi.org/10.1007/978-3-642-14203-1
Typ des Eintrags: | Buch |
---|---|
Erschienen: | 2010 |
Herausgeber: | Giesl, Jürgen ; Hähnle, Reiner |
Art des Eintrags: | Bibliographie |
Titel: | Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings |
Sprache: | Deutsch |
Publikationsjahr: | 2010 |
Verlag: | Springer |
Reihe: | Lecture Notes in Computer Science |
Band einer Reihe: | 6173 |
DOI: | 10.1007/978-3-642-14203-1 |
URL / URN: | https://doi.org/10.1007/978-3-642-14203-1 |
Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik > Software Engineering 20 Fachbereich Informatik |
Hinterlegungsdatum: | 27 Apr 2018 10:49 |
Letzte Änderung: | 27 Apr 2018 10:49 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Frage zum Eintrag |
Optionen (nur für Redakteure)
![]() |
Redaktionelle Details anzeigen |