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: 05274376
Price: 53.79 EUR
Availability: InStock
Author: Jeffrey J. Joyce
ISBN: 9783540578260

6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13

Jeffrey J. Joyce

Carl-Johan H. Seger

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274376

Verlag Springer, Berlin, November 1993

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Worksho... Vollständige Beschreibung

Libristo-Code: 05274376

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Der Opferaspekt bei der strafrechtlichen Vergangenheitsbewältigung. Regina Blümmel

Broschur

120.89 €

Pensees De Seneque, Part 2 (1752) Lucius Annaeus Seneca

Broschur

35.79 €

Outsider. Dentro e fuori. Storia di Guido Calabresi Norman I. Silber

Broschur

32.39 €

Steuerungsproblematik bei Center-Konzepten. Cost-Center, Profit-Center und Service-Center Robert Pomes

Broschur

15.99 €

Live At Rockpalast Der Moderne Man

DVD

14.29 €

Ne! Řeklo strašidýlko Kalle Güettler

Hardcover

7.39 €

KOMPASS Fahrradkarte 3330 Regensburg und Umgebung 1:70.000

Karte

9.95 €

Ricorumi Häkel-Set "Oster-Körbchen grau"

Spielzeug

17.99 €

Mar, amarte y muerte Pérez Castillo

Broschur

22.99 €

Monatsplaner: Für Familien, Singles und Selbstständige Rene Schreiber

Broschur

7.99 €

Junie B. Jones no es una ladrona BARBARA PARK

Broschur

12.29 €

EQUITACIÓN DE TRABAJO EN ESPAÑA

Buch

29.19 €

Klozapin Kateřina Horská

Hardcover

12.49 €

Le carnet de Bernard - Séyès, 96p, A5 - Têtes de mort

Terminbuch

11.09 €

Cosmopolite Anaïs Mater

Broschur

22.29 €

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove".

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 Jeffrey J. Joyce, Carl-Johan H. Seger

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1994

Anzahl der Seiten 526

EAN 9783540578260

ISBN 3540578269

Libristo-Code 05274376

Verlag Springer, Berlin

Gewicht 697

Abmessungen 156 x 234 x 27

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 > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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