Nicola Olivetti - Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 600, publicationDate : 2016-06-12, releaseDate : 2016-06-12, publishers : Nicola Olivetti, languages : english, ISBN : 3319402285 ...