Risultato ricerca
Automated Reasoning with Analytic Tableaux and Related Methods
Inglese
01.01.2017
Tascabile
Fr. 90.00
String Analysis for Software Verification and Security
Inglese
28.02.2018
Copertina rigida
Fr. 124.00
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Inglese
01.01.2009
Tascabile
Fr. 135.00