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.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274587
Price: 53.79 EUR
Availability: InStock
Author: Hans Kleine Buening
ISBN: 9783540613770

9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers

Hans Kleine Buening

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274587

Verlag Springer, Berlin, November 1995

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference... Vollständige Beschreibung

Libristo-Code: 05274587

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen Mark Twain

Broschur

12.90 €

Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD Klaus-P. Weigand

Audio CD

11.39 €

Asphalt Tribe Morton Rhue

Broschur

8.99 €

Lexikon der Sprichwoerter und Redensarten Band 13 (Es - Er) René Dick

Broschur

43.90 €

besten und verrucktesten Kneipen-Namen Dieter Auer

Broschur

10.90 €

Wichtel Nick Admar Kwant

Leporello

12.00 €

Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil. Karl-Dieter Müller

Broschur

66.39 €

Erfolgreich verhandeln Jörg Kupjetz

Broschur

32.90 €

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

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 Computer Science Logic

Autor Hans Kleine Buening

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1996

Anzahl der Seiten 492

EAN 9783540613770

ISBN 3540613773

Libristo-Code 05274587

Verlag Springer, Berlin

Gewicht 659

Abmessungen 156 x 234 x 25

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 > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

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