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 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274472
Price: 107.29 EUR
Availability: InStock
Author: Leszek Pacholski
ISBN: 9783540600176

8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected Papers

Leszek Pacholski

Jerzy Tiuryn

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274472

Verlag Springer, Berlin, November 1994

This volume contains revised refereed versions of the best papers presented during the CSL '94 confe... Vollständige Beschreibung

Libristo-Code: 05274472

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

El tiempo perdido RAMAS

Broschur

29.39 €

Com'è fatto il trattore

Leporello

13.39 €

Jo-Jo Fibel - Allgemeine Ausgabe 2011 Heidemarie Löbler

Blatt

14.39 €

Syst?mes mucoadhésifs d'administration de médicaments Ramalingam Kothai

Broschur

77.29 €

Ray Bradbury BOX Ray Bradbury

Buch

37.99 €

De slag om Stalingrad Nikki Claes

Broschur

14.19 €

Contrapontos Em Economia Dieter Rugard Siedenberg

Broschur

6.99 €

L'Hypnotisme Explique Dans Sa Nature Et Dans Ses Actes: Mes Entretiens James-C

Broschur

17.09 €

Torah Gematria of the Set-Apart Spirit: the Judgment of the Planet Nibiru 2nd Edition John Martin

Broschur

10.99 €

Te quiero, Miguel. Aquiles tiene un problema IGNACIO AMESTOY EGIGUREN

Broschur

12.89 €

Máme v ambulancii zlatú rybku Zuzana Mojzešová

Broschur

7.79 €

Daguet Chéron

Broschur

25.99 €

L'arriviste: Etude psychologique M Ernest Chouinard

Broschur

12.89 €

Precis Sur Le Croup, Ses Causes, Ses Symptomes, Et Les Moyens de Le Prevenir RIVALLIE-A

Broschur

14.19 €

KENNETH SIMPSON: A FIRST ROUND BOOK SINGER'S BOOK SIMPSON Buch

binding.

10.49 €

Fan Tomáš Hasaj

Hardcover

6.49 €

Luis, el cazafantasmas CARMEN GIL

Hardcover

11.69 €

Los turistas Carrión

Broschur

25.09 €

Čarověník Egon Wiener

Blatt

10.69 €

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.

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 Leszek Pacholski, Jerzy Tiuryn

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1995

Anzahl der Seiten 553

EAN 9783540600176

ISBN 3540600175

Libristo-Code 05274472

Verlag Springer, Berlin

Gewicht 752

Abmessungen 155 x 233 x 29

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