Automated Reasoning
de Nicola Olivetti, Ashish Tiwari
Materias
Ediciones (2)
- Automated Reasoning (2016)
Springer London, Limited · inglés · ISBN 9783319402291
- Automated Reasoning (2016)
Springer · ISBN 9783319402284
Más obras de Nicola Olivetti
de Nicola Olivetti, Ashish Tiwari
Springer London, Limited · inglés · ISBN 9783319402291
Springer · ISBN 9783319402284
