Eintrag weiter verarbeiten
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Gespeichert in:
| Personen und Körperschaften: | , , |
|---|---|
| Titel: | Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings/ edited by Bernhard Gramlich, Dale Miller, Uli Sattler |
| Format: | E-Book Konferenzbericht |
| Sprache: | Englisch |
| veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2012
|
| Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 7364 |
| Schlagwörter: | |
| Buchausg. u.d.T.: | Automated reasoning, Berlin : Springer, 2012, XIV, 568 S. |
| Quelle: | Verbunddaten SWB |
| Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |