Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Isabelle

A Generic Theorem Prover

Sprache EnglischEnglisch
Buch Broschur
Buch Isabelle Lawrence C. Paulson
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
? points 148 b
60.39 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

En el suelo hay poesía : camino al verso Jose Luis Álvarez Velez / Buch Broschur
common.buy 14.99 €
Where Hummingbirds Come From Bilingual Amharic English Adele Marie Crouch / Buch Broschur
common.buy 15.39 €
Ce monstre aux yeux verts Villemot / Buch Broschur
common.buy 14.69 €
#VivreAuVingtEtUnièmeSiècle Kosma Buch Broschur
common.buy 20.09 €
Tres Cuentos Nikolai Gógol / Buch Broschur
common.buy 20.39 €
Sherlock Holmes - Sammelbox, 3 DVD Henri Safran / Video DVD
common.buy 26.09 €
Le sculture di Monteoliveto. Una storia di Rinascimento a Napoli Riccardo Naldi / Buch Broschur
common.buy 27.99 €
Los Profetas Menores: Oseas, Joel, Amos. Abdias, Jonas, Miqueas, Nahum, Habacuc, Sofonias, Hageo, Zacarias, Malaquias. Esther Gonzalez / Buch Broschur
common.buy 13.59 €
Feuersturm Alfred Lambeck / Buch Broschur
common.buy 14.90 €
PONS Rechtschreibung und Zeichensetzung auf einen Blick Deutsch / Drucksachen Karte
common.buy 9.59 €
Desafio de Humanizar El Trabajo Grether Lucía Real Pérez / Buch Broschur
common.buy 62.29 €
Handlungsunrecht der Steuerhinterziehung Alexander Hoff / Buch Broschur
common.buy 71.69 €
Odvaha za úsvitu Helen Lawsonová / Buch Broschur
common.buy 1.09 €
Lehrbuch Der Gesamten Chemie Friedrich L. Breusch / Buch Broschur
common.buy 39.09 €
Minus Drei und der Zahlensalat Ute Krause / Buch Hardcover
common.buy 9.99 €
Innovationsfinanzierung durch Venture Capital Arno Nonnen / Buch Broschur
common.buy 71.99 €
Geschichtspolitik in Der "berliner Republik" Manuel Becker / Buch Broschur
common.buy 81.39 €
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter / Buch Broschur
common.buy 56.09 €
Špaky v tŕní Zuzana Cigánová / Buch Hardcover
common.buy 5.39 €
Nevěrná Vladimír Kavčiak / Buch Hardcover
common.buy 7.79 €

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

Das könnte Sie auch interessieren

Modeling by Object-Driven Linear Elemental Relations H.J. Greenberg / Buch Broschur
common.buy 181.49 €
Einstein's Unfinished Revolution Lee Smolin / Buch Broschur
common.buy 12.99 €
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith W. M. Darlington / Buch Broschur
common.buy 25.79 €
Managing Service Productivity Ali Emrouznejad / Buch Hardcover
common.buy 181.49 €
Protection of Electronic Circuits R Standler / Buch Broschur
common.buy 23.49 €
Top
Millions Frank Cottrell Boyce / Buch Broschur
common.buy 12.79 €
Healing Code Alexander Loyd / Buch Broschur
common.buy 15.29 €
Writer's Task from Nietzsche to Brecht Hans Reiss / Buch Broschur
common.buy 60.39 €
Natural Hazard Mitigation Policy Daniel J. Alesch / Buch Broschur
common.buy 118.29 €
Primary Bone Tumors and Tumorous Conditions in Children Claus-Peter Adler / Buch Broschur
common.buy 117.69 €
Art of War (Illustrated Edition) Sun Tzu / Buch Broschur
common.buy 15.09 €
Modelling Methodology for Physiology and Medicine Ewart Carson / Buch Hardcover
common.buy 129.69 €
Razor's Edge G Michael Hopf / Buch Broschur
common.buy 16.39 €
Appeasement in International Politics StephenR Rock / Buch Hardcover
common.buy 40.79 €
Top
Alice's Adventures in Wonderland colouring book John Tenniel / Buch Broschur
common.buy 14.69 €
Love Trances Craig Rovinsky / Buch Hardcover
common.buy 31.29 €
Industrial Resources Of Wisconsin (1853) John Gregory / Buch Broschur
common.buy 33.69 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?