Gå direkte til innholdet
Automated Reasoning
Spar

Automated Reasoning

Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.
Undertittel
6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
ISBN
9783642313646
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
20.6.2012
Antall sider
568