Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561020
Price: 53.79 EUR
Availability: InStock
Author: Joe Hurd
ISBN: 9783540283720

18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Joe Hurd

Tom Melham

Sprache

Englisch

Buch Broschur

Libristo-Code: 01561020

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2005

This book constitutes the refereed proceedings of the 18th International Conference on Theorem Provi... Vollständige Beschreibung

Libristo-Code: 01561020

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Eficiencia en la Gestion Financiera en un Sistema de Justicia Mexicano David Josue Ortiz Gonzalez

Broschur

51.19 €

Plan Cclico de Formación Juvenil vol I I I MATAIX

Buch

2.69 €

Künstlerroman Friedrich Wilhelm Hackländer

Hardcover

69.90 €

Nos Auteurs Et Compositeurs Dramatiques, Portraits Et Biographies Martin-J

Broschur

38.79 €

Blackout Island Sigrí?ur Hagalín Björnsdóttir

Broschur

10.00 €

Zwischen Widerstand und Anpassung. Die Rezeption des Nationalsozialismus in ausgewahlten judischen deutschsprachigen Zeitungen bis 1935 Daniel Kulins

Broschur

15.95 €

Kibali David Kyeu

Broschur

12.09 €

Erfolgsfaktoren deutscher Unternehmen bei der Marktbearbeitung in Indien Anke Hsu

Broschur

38.00 €

Tierzuchtgesetz (TierZG) Sarastro Gmbh

Broschur

8.90 €

dunkle Tor ins Licht Christine Hagia

Broschur

16.90 €

Bologna und Emilia Romagna Carl W. Macke

Hardcover

22.00 €

Der blaue Himmel Galsan Tschinag

Broschur

12.00 €

Utopia Thomas Morus

Broschur

10.89 €

This book constitutes the refereed proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005, held in Oxford, UK, in August 2005.§The 20 revised full papers presented together with 2 invited papers and 4 proof pearls (concise and elegant presentations of interesting examples) were carefully reviewed and selected from 49 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the topics of this volume are theorem proving, verification, recursion and induction, mechanized proofs, mathematical logic, proof theory, type systems, program verification, and proving systems like HOL, Coq, ACL2, Isabelle/HOL and Isabelle/HOLCF.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Theorem Proving in Higher Order Logics

Autor Joe Hurd, Tom Melham

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2005

Anzahl der Seiten 414

EAN 9783540283720

ISBN 3540283722

Libristo-Code 01561020

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1310

Abmessungen 155 x 235 x 23

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

German Influence on Australian English Markus Bieswanger

Broschur

48.69 €

Bioethics of Pain Management Daniel S. Goldberg

Hardcover

242.59 €

WILDER GIRLS POWER RORY

Broschur

17.59 €

The Book of My Life: de Vita Propria Liber Jerome Cardan

Broschur

37.69 €

The Rebirth and Awakening of Wolfie Star-Runner Danielle Freeman

Broschur

19.19 €

Discovering Ancient Biblical Hebrew Word Formation: A Workbook for the Discovery of the Original Nature of Derivational Morphology of Ancient Biblical David J Leonardi

Broschur

19.19 €

Bucking the Sun Ivan Doig

Broschur

16.49 €

The Stranger You Know Jane Casey

Broschur

21.19 €

VMware vSphere 5.1 Cookbook Abhilash GB

Broschur

58.29 €

Tinsel Devney Perry

Broschur

19.09 €

Classical Associations of Places in Italy (1921) Frances Ellis Sabin

Broschur

43.59 €

Osprey Emily Ever

Broschur

16.89 €

Notes Upon Some of the Obscure Passages in Shakespeare's Plays; With Remarks Upon the Explanations and Amendments of the Commentators in the Editions John Howe

Broschur

27.89 €