Siirry suoraan sisältöön
Automated Reasoning
Tallenna

Automated Reasoning

Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.
Alaotsikko
6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
ISBN
9783642313646
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
20.6.2012
Sivumäärä
568