Theorem Proving in Higher Order Logics
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Autor:
Springer Nature EN
Verlag:
Springer Nature EN
Sprache:
English
Keine Beschreibung für das Buch
CHF 70.00
Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
Untertitel
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
ISBN
978-3-540-40664-8
EAN
9783540406648
Erscheinungsjahr
8/21/2003
Verlag
Springer Nature EN
Sprache
English
Springer Nature EN weitere Bücher
Handsome Divine Sovereign
CHF 9.00
Recent Advances in Biochemistry
CHF 34.90
The True Story Of My Life
CHF 45.50
Futian Sword Fanatics
CHF 3.20
The Day the Screens Went Blank
CHF 6.30
Strongest Takeout System
CHF 9.00
Virtue Seal
CHF 9.00
Destined Martial God
CHF 9.00
Data-Centric Business and Applications
CHF 118.00
The Tiger Lily
CHF 34.50
Hijos con personalidad
CHF 9.00
Novelistas Imprescindibles - Virginia Wo
CHF 2.50
Luna Roja
CHF 7.50
Leonardo da Vinci - Malachias von Armagh
CHF 398.60
Uma Canção Para Órfãs (Um Trono para Irm
CHF 4.50
Legitimate Wife at Home
CHF 1.30
Dragon of Heaven
CHF 9.65
Eternal Saint Doctor
CHF 1.90
Emperor's Palace
CHF 1.90
Rebirth As Richest Lady: Coddle Regent
CHF 1.90
Sword God in the Alien World
CHF 7.75
Supreme Taoism Master
CHF 7.75
Fortune-teller Next to the Beauty
CHF 7.75
Enchanting Substitute Consort
CHF 1.90
Feng Shui Master in Metropolis
CHF 1.90
Tempting You to Marry Me-Pampered Cute W
CHF 7.75
Emperor of the Primordial World
CHF 7.75
29 Hours to Eternity
CHF 3.20
Arnasque
CHF 6.45
L'Inspecteur
CHF 3.85
Bewertungen
0 Bewertungen
Anmeldung erforderlich