Pay in 4 interest-free payments of $13.37 Learn more
Ships within 48 hours · Estimated delivery Sep 9 - Sep 14
aufgrund des kleineren Kontrastes
UWE / LISKEN
- Welche Lösungsmöglichkeiten gibt es
Deren empirische Überprüfung bleibt jedoch oft mangels geeigneter Meso- und Mikrodaten lückenhaft
Theorem Proving in Higher Order Logics Rutilius Taurus Aemilianus aufgrund des kleineren KontrastesThis volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 812, 2003 in Rome, Italy. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri? cation. TPHOLs 2003 was co located with TABLEAUX, the International Con rence on Automated Reasoning with Analytic Tableaux and Related Methods, and with
US$ 15.90
US$ 13.90
US$ 14.90
US$ 324.00
US$ 11.90
