Automated reasoning / International Joint Conference on Automated Reasoning ; Nicola Olivetti, Ashish Tiwari, eds
Publication: [Gewerbestrasse] : Springer , cop. 2016Description: XX, 580 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 87354 (1).