Gå direkte til innholdet
Automated Reasoning
Spar

Automated Reasoning

Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.
Undertittel
5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Opplag
2010 ed.
ISBN
9783642142024
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
30.6.2010
Antall sider
536