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.99 € Hermes Kurierdienst 5.49 € DHL-Kurier 4.49 € Hermes-Stelle 4.99 € DPD-Stelle 3.49 € GLS-Kurierdienst 5.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Isabelle

Name: Isabelle
Brand: Springer, Berlin
SKU: 02780943
Price: 53.79 EUR
Availability: InStock
Author: Lawrence C. Paulson
ISBN: 9783540582441

A Generic Theorem Prover

Lawrence C. Paulson

Tobias Nipkow

Sprache

Englisch

Buch Broschur

Libristo-Code: 02780943

Verlag Springer, Berlin, November 1993

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume... Vollständige Beschreibung

Libristo-Code: 02780943

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

En el suelo hay poesía : camino al verso Jose Luis Álvarez Velez

Broschur

13.69 €

Where Hummingbirds Come From Bilingual Amharic English Adele Marie Crouch

Broschur

14.99 €

Ce monstre aux yeux verts Villemot

Broschur

13.49 €

#VivreAuVingtEtUnièmeSiècle Kosma Buch

Broschur

17.29 €

WWE: Hell in a Call 2022, 2 DVDs, 2 DVD-Video

DVD

24.47 €

Tres Cuentos Nikolai Gógol

Broschur

19.79 €

Любовь или зависимость? Почему предрасположенность к нездоровым отношениям передается через поколения и как это остановить Р. Розенберг

Broschur

19.29 €

Sherlock Holmes - Sammelbox, 3 DVD Henri Safran

DVD

24.80 €

Odvaha za úsvitu Helen Lawsonová

Broschur

3.99 €

Los Profetas Menores: Oseas, Joel, Amos. Abdias, Jonas, Miqueas, Nahum, Habacuc, Sofonias, Hageo, Zacarias, Malaquias. Esther Gonzalez

Broschur

13.19 €

PONS Rechtschreibung und Zeichensetzung auf einen Blick Deutsch

Karte

8.09 €

Desafio de Humanizar El Trabajo Grether Lucía Real Pérez

Broschur

219.39 €

Handlungsunrecht der Steuerhinterziehung Alexander Hoff

Broschur

55.29 €

Feuersturm Alfred Lambeck

Broschur

14.91 €

Lehrbuch Der Gesamten Chemie Friedrich L. Breusch

Broschur

32.99 €

Minus Drei und der Zahlensalat Ute Krause

Hardcover

9.99 €

Innovationsfinanzierung durch Venture Capital Arno Nonnen

Broschur

38.00 €

Geschichtspolitik in Der "berliner Republik" Manuel Becker

Broschur

70.29 €

Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter

Broschur

59.90 €

Velká škola stínování neuvedený autor

Broschur

6.59 €

Špaky v tŕní Zuzana Cigánová

Hardcover

5.59 €

Nevěrná Vladimír Kavčiak

Hardcover

7.99 €

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.

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 Isabelle

Autor Lawrence C. Paulson, Tobias Nipkow

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1994

Anzahl der Seiten 329

EAN 9783540582441

ISBN 3540582444

Libristo-Code 02780943

Verlag Springer, Berlin

Gewicht 535

Abmessungen 156 x 234 x 18

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 > 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