Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / Tobias Nipkow, Makarius Wenzel, Christian Urban, Stefan Berghofer (Hrsg.)
Gebundene Ausgabe - ISBN: 9783642033582, 9783642033599 - Verlag: Springer Berlin mehr
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009.... mehr
4 von 4 Angeboten für Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / Tobias Nipkow, Makarius Wenzel, Christian Urban, Stefan Berghofer (Hrsg.)
Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool...
the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The...
* Alle Preise inkl. gesetzlicher MwSt und ggf. zzgl. Versandkosten. Preise, Verfügbarkeit und Versandkosten können im jeweiligen Shop zwischenzeitlich geändert worden sein, da eine Echtzeit-Aktualisierung technisch nicht möglich ist. Maßgeblich sind immer die Preise und Angaben auf der Händlerseite. Alle Angaben ohne Gewähr.
Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / Tobias Nipkow, Makarius Wenzel, Christian Urban, Stefan Berghofer (Hrsg.)
Haupteigenschaften
Produktform: Einband - flexibel (Paperback)
Edition: Neuausgabe
Nummer der Ausgabe: 1
Ausgabe: 1., 2009
Erscheinungsdatum: 2009
Seitenzahl / arabisch: 517
Zielgruppe: Research
Seitenzahl / römisch: XI
ISBN: 364203358X
EAN: 9783642033582
Bestellnummer : 12727186
Titel: Theorem Proving in Higher Order Logics
Untertitel : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Sprache: Englisch
Kategorie: Informatik, EDV / Informatik
Medium: Gebundene Ausgabe
Höhe: 235 mm
Breite: 155 mm
Lieferstatus: lieferbar
Nummer innerhalb der Reihe: 5674
Titel der Reihe: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Verlag: Springer Berlin
Produktform: eBook Ausgabe
EAN: 9783642033599
Herausgeber: Stefan Berghofer; Tobias Nipkow; Christian Urban; Makarius Wenzel
Ciao
auf Ciao gelistet seit : 01/11/2011
Produktbeschreibung des Herstellers
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions.
The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.
Verwandte Tags für Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / Tobias Nipkow, Makarius Wenzel, Christian Urban, Stefan Berghofer (Hrsg.)
Vergleichen Sie Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / Tobias Nipkow, Makarius Wenzel, Christian Urban, Stefan Berghofer (Hrsg.) mit anderen ähnlichen Informatik & EDV
Sind Sie Hersteller/Anbieter von Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / Tobias Nipkow, Makarius Wenzel, Christian Urban, Stefan Berghofer (Hrsg.) ? Klicken Sie hier
Zu diesem Produkt wurde noch kein Erfahrungsbericht geschrieben. 
