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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274407
Price: 51.68 EUR
Availability: InStock
Author: Egon Börger
ISBN: 9783540582779

7th Workshop, CSL '93, Swansea, UK, September 13-17, 1993. Selected Papers

Egon Börger

Yuri Gurevich

Karl Meinke

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274407

Verlag Springer, Berlin, November 1993

This volume contains the final versions of a collection of papers presented at the Annual Conference... Vollständige Beschreibung

Libristo-Code: 05274407

125 b

51.68 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Holzhaus am Wasser (Puzzle) Pia Thauwald

Spiel

30.34 €

L’examen de conscience philosophique Martha

Broschur

15.67 €

Kabala Pro Zacatecniky Michael Laitman

Broschur

20.73 €

One Piece 109 Eiichiro Oda

Broschur

7.48 €

Tiamatin hněv James S. A. Corey

Broschur

14.05 €

Le journal de ma vie Kate Clayborn

Broschur

25.08 €

Pixel Art Memo

Spiel

13.44 €

Gouverner le social par le religieux Faure

Broschur

34.28 €

Diagnostico sobre a gestao dos RSU no Brasil, estudo de caso Rosana Brusamarelo

Broschur

49.86 €

Harakiri - The Masters of Cinema Series Masaki Kobayashi

Blu-ray

15.16 €

Die Frau des Arztes Brian Moore

Broschur

12.84 €

Programació lineal

Broschur

15.77 €

Agenda Mindenensis dioecesis Carl von Reifitz

Broschur

59.27 €

Ein europäischer Jurist des 19. Jahrhunderts. Tanja Guddat

Broschur

116.52 €

Mit K, 1 Audio-CD Kraftklub

Audio CD

17.89 €

Spuk Ernst Kallmeyer

Broschur

22.35 €

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

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 Egon Börger, Yuri Gurevich, Karl Meinke

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1994

Anzahl der Seiten 336

EAN 9783540582779

ISBN 3540582770

Libristo-Code 05274407

Verlag Springer, Berlin

Gewicht 466

Abmessungen 216 x 279 x 18

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

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

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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