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 € 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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562897
Price: 53.79 EUR
Availability: InStock
Author: David Basin
ISBN: 9783540406648

16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

David Basin

Burkhart Wolff

Sprache

Englisch

Buch Broschur

Libristo-Code: 01562897

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

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

Libristo-Code: 01562897

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Entwicklung eines Rahmenkonzepts zur IT-basierten Unterstützung des Chancen- und Risikomanagements in Konzernen Raphaela Saitz

Broschur

64.00 €

Creature dal mare profondo William Hope Hodgson

Broschur

18.29 €

BRIO World 33658 Baustellenfahrzeuge - Ergänzung für die BRIO-Holzeisenbahn - Empfohlen ab 3 Jahren

Spiel

31.99 €

Encyklopädie und Methodologie der philologischen Wissenschaften Ernst Bratuscheck

Hardcover

52.49 €

De la poubelle au musée. Anthropologie des restes Octave Debary

Broschur

16.49 €

Fale ao Sol: Há muitas horas no dia pra se pensar Edmar Camara

Broschur

10.69 €

Delito de fuga CHRISTOPHE LEON

Broschur

18.49 €

Abu -Lala Mahari ( - ) Avetik Isahakyan

Broschur

20.59 €

Identification Des Esp ces pices Prioritaires Pour La Domestication Serge Alain Mbong Ekollo

Broschur

36.49 €

High School Musical 3, Senior Year, 1 DVD (Extended Edition) Seth Flaum

DVD

10.89 €

Slovníček základních hudebních pojmů Ludmila Vrkočová

Broschur

5.59 €

Všechny cesty vedou do Říma Ivan Burkert

Hardcover

3.19 €

This book constitutes the refereed proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003, held in Rome, Italy in September 2003.§The 24 revised full papers presented together with an invited paper were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on hardware and Assembler languages, proof automation, fool combination, logic extensions, theorem prover technology, mathematical theories, and security. Among the theorem proving systems discussed are HOL, Coq, MetaPRL, and Isabelle/Isar.

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 David Basin, Burkhart Wolff

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2003

Anzahl der Seiten 366

EAN 9783540406648

ISBN 3540406646

Libristo-Code 01562897

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

Gewicht 1190

Abmessungen 155 x 233 x 21

Kategorie

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

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Philosophie und Religion > Philosophie

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

I Am Grateful: A BIG Gratitude Jar Project Book Roni Jacks

Broschur

11.59 €

Stabilization, Safety, and Security of Distributed Systems Shlomi Dolev

Broschur

119.39 €

Executive Functioning Workbook for Kids: 40 Fun Activities to Build Memory, Flexible Thinking, and Self-Control Skills at Home, in School, and Beyond GRAND SHARON

Broschur

14.99 €

Life and Art of Anne Eisner (1911-1967) Christie McDonald

Hardcover

37.39 €

The Rapids Of Niagara (1876) Susan Warner

Broschur

37.69 €

The Horror, the Funny, and the Weird: Short Stories Akeyla Battles

Broschur

10.69 €

Bad People Robertson

Hardcover

21.29 €

Vampire Knight: Memories, Vol. 3 Matsuri Hino

Broschur

8.89 €

National Geographic GuideMap Touristische Karte Texas National Geographic Maps

Karte

10.09 €

Nature of Truth and Falshood; With Some Motives to the Practice of Mutual Sincerity. a Sermon Preached Before the Queen, in St. George's Chapel at Win WILLIAM REEVES

Hardcover

27.89 €