Bild 1 von 1

Standardbild

Csl '89 von Egon Börger Hans Kleine Büning Michael M. Richter (1990, Taschenbuch)

buch-mimpf (20233)

100% positive Bewertungen

Preis:

€ 53,49

(inkl. MwSt.)

Kostenloser Versand

Lieferung ca. Sa, 9. Aug - Mi, 13. Aug

Rücknahme:

1 Monat Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Titel: CSL '89, Untertitel: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings, Einband: Taschenbuch, Autor: Egon Börger, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 452, Maße: 235x155x25 mm, Gewicht: 680 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Mathematik Logik Philosophie / Logik Artificial Intelligence Computer Science Komplexität Künstliche Intelligenz Languages Logik Sprachen complexity logic programming.

Sammeln Sie 53 Punkte | Mehr erfahrenzu eBay Plus-Punkten - wird in neuem Fenster oder Tab geöffnet

Über dieses Produkt

Produktinformation

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.