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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Higher-Order Algebra, Logic, and Term Rewriting

Name: Higher-Order Algebra, Logic, and Term Rewriting
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05274575
Price: 53.79 EUR
Availability: InStock
Author: Gilles Dowek
ISBN: 9783540612544

2nd International Workshop, Paderborn, Germany, September 1995. Selected Papers

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274575

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 1996

This book presents a collection of revised refereed papers selected from the presentations accepted... Vollständige Beschreibung

Libristo-Code: 05274575

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Wohneigentum Michael Voigtländer

Hardcover

110.29 €

Sehenswertes Baden-Württemberg (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo

Kalender

76.89 €

Die Deregulierung der Versicherungsaufsicht und die Versicherungsvermittlung in Deutschland. Jürgen F. Schmidt

Broschur

109.89 €

Женщина Т. Арисима

Broschur

16.39 €

David Gilmour: Luck And Strange LP David Gilmour Audio

Audio Vinyl

30.59 €

Przewodnik podróżnika po gwiazdach Johnson Les

Broschur

22.29 €

Herausforderungen Der Internationalen Marktorientierten Unternehmensfuhrung Andreas Mann

Hardcover

83.29 €

Reise zum Mittelpunkt der Erde, Schulausgabe Jules Verne

Broschur

6.99 €

El corredor Pete Magill

Adobe ePub DRM

18.29 €

Die Hauschronik Konrad Pellikans von Rufach Pellikan

Broschur

21.69 €

L'Atelier des Sorciers T07 Kamome Shirahama

Broschur

11.79 €

HOMME FEMME : LA PART DE LA SEXUALITE Déroff Buch

Broschur

21.09 €

T'CHOUPI RECONNAIT LES LETTRES Thierry Courtin

Broschur

5.59 €

Keyboard spielen - mein schönstes Hobby, Die moderne Keyboardschule, m. Audio-CD. Bd.2 Uwe Bye

Ring

52.89 €

Weit ist mein Gefängnis Assia Djebar

Broschur

11.19 €

Antéchrista Amélie Nothomb

Broschur

5.89 €

Všechny barvy počasí Britta Teckentrupová

Hardcover

15.39 €

Fälle und Musterlösungen zum Waffenrecht Jürgen Beck

Broschur

16.00 €

Puzzle 1000 Art Collection Pocałunek Gustav Klimt

Spielzeug

7.09 €

Vagabondando fra le stelle Wirton Arvel

Broschur

13.09 €

This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.

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 Algebra, Logic, and Term Rewriting

Autor Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1996

Anzahl der Seiten 296

EAN 9783540612544

ISBN 3540612548

Libristo-Code 05274575

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

Gewicht 950

Abmessungen 155 x 235 x 17

Kategorie

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

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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