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

Higher Order Logic Theorem Proving and Its Applications

Name: Higher Order Logic Theorem Proving and Its Applications
Brand: Springer, Berlin
SKU: 01566006
Price: 53.79 EUR
Availability: InStock
Author: E. Th. Schubert
ISBN: 9783540602750

8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings

E. Th. Schubert

Phillip J. Windley

James Alves-Foss

Sprache

Englisch

Buch Broschur

Libristo-Code: 01566006

Verlag Springer, Berlin, November 1994

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theo... Vollständige Beschreibung

Libristo-Code: 01566006

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

LEGO Ninjago - Der Herr der Wünsche

Hardcover

9.99 €

Filosofía de Richard Rorty Pilar Salvá Soria

Broschur

37.29 €

Wissenschaftstheorie der Soziologie Gerhard Wagner

Broschur

27.95 €

Nahrungsnetze im Schweizerischen Nationalpark Anita C. Risch

Broschur

46.49 €

Die Formstoffee Der Eisen Und Stahlgiesserei Ihr Wesen, Ihre Prufung Und Aufbereitung (1920) Carl Irresberger

Broschur

29.89 €

Évaluation et didactique Bart Daniel Bart

Adobe ePub DRM

47.39 €

Gesunde Menschen, Lebensfragen, Kranke Menschen, Lehr- und Fastenbrief, Verjüngung auf natürlichem Wege, Lebensfragen und andere Originaltexte Arnold Ehret

Hardcover

17.90 €

Bumblebee - Ausgabe 2013 für das 3. / 4. Schuljahr Gisela Ehlers

Blatt

17.59 €

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

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 Higher Order Logic Theorem Proving and Its Applications

Autor E. Th. Schubert, Phillip J. Windley, James Alves-Foss

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1995

Anzahl der Seiten 408

EAN 9783540602750

ISBN 3540602755

Libristo-Code 01566006

Verlag Springer, Berlin

Gewicht 547

Abmessungen 156 x 234 x 21

Kategorie

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

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

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

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

Das könnte Sie auch interessieren

Fuels Programs Registration User Guide Version 2.0 U S Environmental Protection Agency

Broschur

19.19 €

The Kiss Bet, Vol. 3 OCHOA INGRID

Broschur

15.79 €

Dark and Drowning Tide Saft Allison

Broschur

11.39 €

Mastering Graphics Programming with Vulkan: Develop a modern rendering engine from first principles to state-of-the-art techniques Gabriel Sassone

Broschur

47.49 €

Decision Making in Emergency Medicine Manda Raz

Broschur

105.09 €

Introduction to World Religions Darryl E. Howard

Hardcover

294.09 €

Staff Cars in Germany WW2 Vol. 2 Ranger

Broschur

21.89 €

Data Science with Julia Paul D McNicholas

Broschur

91.49 €

Triple Ken Follett

Broschur

14.99 €

Passover Family Monique Polak

Leporello

10.09 €

Experiencing Spiritual Encouragement: Devotional Thoughts from the Word Ann Varnum

Broschur

13.49 €

Morphological diversity, nutritional quality and value addition of jackfruit (Artocarpus heterophyllus) in Kerala Jiby John Mathew

Broschur

49.39 €

Church Missionary Intelligencer and Record Seeley Jackson & Halliday Publishing

Hardcover

47.49 €

Richard Scarry's Please and Thank You Book Richard Scarry

Broschur

5.79 €

Oogenesis - The Universal Process Verlhac

Hardcover

167.69 €

Anatomy of Fraud and Corruption Veronica Morino

Hardcover

248.79 €

Corals of Australia and the Indo-Pacific J.E.N. Veron

Hardcover

87.29 €

Integrating EU Migration Policy into the European Neighbourhood Policy Katerina Stancova

Broschur

51.99 €

Letters Describing a Tour Through Part of South Wales. by a Pedestrian Traveller. with Views, Designed and Etched by the Author. Armand-Louis Bon Maudet

Broschur

20.79 €