Siirry suoraan sisältöön
Automated Reasoning
Tallenna

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.
Alaotsikko
5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Painos
2010 ed.
ISBN
9783642142024
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
30.6.2010
Sivumäärä
536