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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
Brand: Springer, Berlin
SKU: 05274732
Price: 53.79 EUR
Availability: InStock
Author: Amy Felty
ISBN: 9783540633792

10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Amy Felty

Elsa L. Gunter

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274732

Verlag Springer, Berlin, November 1997

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

Libristo-Code: 05274732

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Cornelsen Literathek - Textausgaben - Schachnovelle - Empfohlen für das 10.-13. Schuljahr - Textausgabe - Text - Erläuterungen - Materialien Stefan Zweig

Broschur

7.59 €

Die verborgene Geschichte der Erde Claudia Buchholtz

Broschur

29.90 €

Elektra, die hell Leuchtende Jennifer Saint

Adobe ePub DRM

11.39 €

Histoire mondiale

Broschur

10.59 €

Collection Des Voyages Des Souverains Des Pays-Bas V3 (1881) Louis Prosper Gachard

Broschur

49.49 €

Antologija Pjesnictva Hrvatskoga I Srbskoga: Narodnoga I Umjetnoga Sa Uvodom O Poetici (1876) August Senoa

Broschur

39.69 €

Yoga-Inspiration, m. 54 Beilage Barbara Kündig

Spiel

16.39 €

Poetiken des Widerspruchs in vormoderner Erzahlliteratur Elisabeth Lienert

Broschur

75.29 €

Die Krankheiten Der Nagel Julius Heller

Broschur

55.29 €

Bajkala Ozera Skazki. Tom 2. Jeposy, Mify, Legendy I Skazanija

Broschur

26.59 €

Eutocius d'Ascalon Micheline Decorps-Foulquier

Hardcover

139.39 €

Seidenstraße Quelle: Wikipedia

Broschur

16.19 €

Was diese Frau so alles treibt, 1 DVD, deutsche u. englische Version Norman Jewison

DVD

9.29 €

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.

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 Amy Felty, Elsa L. Gunter

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1998

Anzahl der Seiten 346

EAN 9783540633792

ISBN 3540633790

Libristo-Code 05274732

Verlag Springer, Berlin

Gewicht 460

Abmessungen 156 x 234 x 18

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen

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

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