Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Gespeichert in:

Personen und Körperschaften:	Bonacina, Maria Paola (VerfasserIn)
Titel:	Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings/ edited by Maria Paola Bonacina
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer 2013
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7898
Schlagwörter:	Computer software Logic design Computer Science Computer science Software engineering Artificial intelligence Machine theory. Algorithms. Konferenzschrift > 2013 > Lake Placid, NY
Druckausg.:	Automated deduction - CADE-24, Berlin : Springer, 2013, XV, 466 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz