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

Österreichische Post 5.99 € GLS-Kurier 5.49 € DPD-Kurier 4.99 € DPD-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274407
Price: 51.09 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.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Agenda Mindenensis dioecesis Carl von Reifitz

Broschur

59.00 €

Gouverner le social par le religieux Faure

Broschur

30.09 €

Tiamatin hněv James S. A. Corey

Broschur

14.29 €

One Piece 109 Eiichiro Oda

Broschur

7.00 €

L’examen de conscience philosophique Martha

Broschur

13.29 €

Kabala Pro Zacatecniky Michael Laitman

Broschur

18.49 €

Le journal de ma vie Kate Clayborn

Broschur

21.69 €

Pixel Art Memo

Spiel

15.99 €

Spuk Ernst Kallmeyer

Broschur

24.90 €

Holzhaus am Wasser (Puzzle) Pia Thauwald

Spiel

33.99 €

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

Broschur

109.90 €

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

Broschur

49.29 €

Mit K, 1 Audio-CD Kraftklub

Audio CD

17.69 €

Analisis del mercado laboral Municipio de Caldas Carlos Mario Burgos Jaramillo

Broschur

140.19 €

Programació lineal

Broschur

15.59 €

Harakiri - The Masters of Cinema Series Masaki Kobayashi

Blu-ray

14.99 €

Die Frau des Arztes Brian Moore

Broschur

12.00 €

Ebay-Verkaufserfolg durch Modelling Olav Kalt

Broschur

16.99 €

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