[email protected] Wir antworten innerhalb von 24 Stunden

[email protected]

Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €

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: 64.16 EUR
Availability: InStock

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

161 b

64.16 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Uncle Sam's Boys in the Ranks Or, Two Recruits in the United States Army Harrie Irving Hancock

/ Broschur

25.82 €

Network-Based Parallel Computing. Communication, Architecture, and Applications Dhabaleswar K. Panda

/ Broschur

64.16 €

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".

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