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 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Theorem Proving in Higher Order Logics

11th International Conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Theorem Proving in Higher Order Logics Jim Grundy
Libristo-Code: 05274873
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 1998
This book constitutes the refereed proceedings of the 11th International Conference on Theorem Provi... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Datentransportkostenoptimale Gestaltung von Rechnernetzen Hans Demmer / Buch Broschur
common.buy 55.29 €
70 ANS D'EDITION 1943 2013 collegium / Buch Broschur
common.buy 8.09 €
ALEMANY GRAMATICA BASICA LD-CT-705 / Buch Buch
common.buy 6.19 €
MARCOS NAVARRO PUERTO / Buch Broschur
common.buy 31.99 €
Un simple roce de mangas Pulido / Buch Broschur
common.buy 22.09 €
Épreuves orales d'entretien aux concours des écoles de commerce. Bac+2 à Bac+5 Attelan / Buch Broschur
common.buy 24.19 €
Reflexología : una forma de buena salud Nicola Hall / Buch Broschur
common.buy 23.29 €
La conscience, l'inconscient et le sujet Ferrand / Buch Broschur
common.buy 17.09 €
Senza distinzione. Di sesso, di razza, di lingua Stefano Bartezzaghi / Buch Broschur
common.buy 17.99 €
Djela Jugoslavenske Akademije Znanosti I Umjetnosti, Volume 18 Jugoslavenska Akademija Znan Umjetnosti / Buch Broschur
common.buy 19.99 €
Por una Nueva Libertad (Edición en Letras Grandes): El Manifiesto Libertario Murray N Rothbard / Buch Broschur
common.buy 18.19 €
101 tareas para desarrollar las competencias 6 José Martínez Romero / Buch Broschur
common.buy 13.69 €
Consultant-Knigge Dirk H. Hartel / Buch Broschur
common.buy 49.95 €
Enquete Sur Les Conseils de Prud'hommes Et Les Livrets d'Ouvriers / Buch Broschur
common.buy 40.39 €
Das moderne Bild des Krieges Robert Gander / Buch Broschur
common.buy 62.29 €
Worte Sind Meine Brand-Satze Gegen Eure Knastmaschinerie Ralf-Axel Simon / Buch Broschur
common.buy 19.99 €
Die Interkulturelle Problematik Deutsch-Franzoesischer Unternehmenskooperationen Martin Strübing / Buch Broschur
common.buy 37.99 €

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.

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 Theorem Proving in Higher Order Logics
Autor Jim Grundy, Malcolm Newey
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1998
Anzahl der Seiten 496
EAN 9783540649878
ISBN 3540649875
Libristo-Code 05274873
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1580
Abmessungen 155 x 233 x 28

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
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 > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
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

Transactions of the National Association for the Promotion of Social Science National Association for the Promotion O / Buch Hardcover
common.buy 47.49 €
Stand Up and Be Counted: Middle Leadership in Education Contexts Kerry / Buch Hardcover
common.buy 215.89 €
Intergalactic P.S. 3 Hope Larson / Buch Broschur
common.buy 6.59 €
S. J. Perelman Steven H. Gale / Buch Broschur
common.buy 52.49 €
Upper Tract Urothelial Carcinoma Shahrokh F. Shariat / Buch Broschur
common.buy 126.09 €
Clinician's Guide to Allergic Diseases Kevin Parker / Buch Hardcover
common.buy 130.29 €
A Relation Of The Colony Of The Lord Baron Of Baltimore, In Maryland, Near Virginia Andrew White / Buch Hardcover
common.buy 34.79 €
Maggie: A Girl of the Streets (a Story of New York) Stephen Crane / Buch Broschur
common.buy 26.59 €
Seize the Day Saul Bellow / Buch Broschur
common.buy 13.49 €
Enriching Multimedia with Sensory Effects Markus Waltl / Buch Broschur
common.buy 51.99 €
Holy Living Matthew Everhard / E-Book Adobe ePub DRM
common.buy 16.59 €
DVD Country Guitar Mueller Mike / Buch Broschur
common.buy 9.79 €
Scattering Theory And Biomedical Engineering Modelling And Applications - Proceedings Of The 4th International Workshop Dimitrios I Fotiadis / Buch Hardcover
common.buy 146.19 €
Tiffany Desk Treasures George A. Kemeny / Buch Hardcover
common.buy 72.59 €
Tobias Smollett in the Enlightenment Richard J. Jones / Buch Hardcover
common.buy 142.39 €
Copilots for Linguists Tiago Timponi Torrent / Buch Broschur
common.buy 27.19 €
Modern Folk Art Coloring Book Dawn Nicole Warnaar / Buch Broschur
common.buy 17.99 €

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?