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.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274271
Price: 50.99 EUR
Availability: InStock
Author: Egon Börger
ISBN: 9783540557890

5th Workshop on Computer Science Logic, CSL '91, Berne, Switzerland Germany, September 28 - October 2, 1992. Selected Papers

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274271

Verlag Springer, Berlin, November 1991

This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the Uni... Vollständige Beschreibung

Libristo-Code: 05274271

125 b

50.99 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Serpent 2011 - Prévisions & Feng Shui Too

Buch

10.99 €

Velká knížka NA statku pro malé vypravěče Max Walther

Leporello

7.99 €

Aquí qui mana? ANDRE RODRIGUES

Hardcover

15.99 €

I care - PflegeExamen KOMPAKT

Broschur

50.00 €

Wort-Klänge alte und neue Psalmen Dirk Schmalenbach

Audio CD

16.00 €

Christoph Weidlichs zuverlassige Nachrichten von den jetztlebenden Rechtsgelehrten Christoph Weidlich

Broschur

30.90 €

MARCUS POCUS 5. LA FUGIDA DE LES MASCOTES MAÑAS

Buch

12.49 €

David Gilmour: Luck And Strange David Gilmour

Digital

36.99 €

Negocios Ligeros Henry Allen

Broschur

8.49 €

Kovboj na útěku Marie Hamáková

Hardcover

12.89 €

El Sermón del Padre Guarnus JOSE R. ANTON DEL LLANO

Audio CD

9.99 €

Mężczyzna w czerwonym płaszczu Julian Barnes

Hardcover

10.49 €

Original Album Classics Mountain

Audio CD

24.79 €

Taranathas Geschichte des Buddhismus in Indien Anton Schiefner

Broschur

26.90 €

Anáfora Bernal Llorente

Broschur

21.69 €

Desertor, el Patxi Larraínzar

Broschur

15.59 €

Indignación Juan Manuel Villalba Hinojosa

Broschur

8.99 €

Yatalak Kralice Ülkü Ayvaz

Broschur

12.99 €

Die Frau von gestern Claudia Di Iorio Meier

Broschur

11.80 €

Cappuccetto Rosso, m. Audio-CD

Broschur

13.49 €

AMAZING SOLOS TRUMPET OR CORNET Howard Harrison

Broschur

24.99 €

Doppelter Mokka Sigrid Hauff

Hardcover

24.90 €

Ricos Werkstatt. Bd.1 Walter Noona

Noten

15.99 €

This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many 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 Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1992

Anzahl der Seiten 431

EAN 9783540557890

ISBN 354055789X

Libristo-Code 05274271

Verlag Springer, Berlin

Gewicht 638

Abmessungen 155 x 233 x 22

Kategorie

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

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

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