Produktbild
Mark (Hrsg.) Aagaard

Theorem Proving in Higher Order Logics

13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Buch

This volume is the proceedings of the 13th International Conference on Theo­ rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers submitted in the full rese­ arch category was refereed by at least three reviewers who were selected by the program committee. Because of the limited space available in the program and proceedings, only 29 papers were accepted for presentation and publication in this volume. In keeping with tradition, TPHOLs 2000 also offered a venue for the presen­ tation of work in progress, where researchers invite discussion by means of a brief preliminary talk… Mehr

CHF 136.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Harrison, John (Hrsg.)
  • ISBN: 978-3-540-67863-2
  • EAN: 9783540678632
  • Produktnummer: 3396618
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2000
  • Seitenangabe: 552 S.
  • Masse: H23.5 cm x B15.5 cm x D2.9 cm 826 g
  • Auflage: 2000
  • Abbildungen: Paperback
  • Gewicht: 826

6 weitere Werke von Mark (Hrsg.) Aagaard:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.