Gå direkt till innehållet
Automated Reasoning
Spara

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.
Undertitel
5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Upplaga
2010 ed.
ISBN
9783642142024
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
30.6.2010
Sidor
536