CSL'88
60,80 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783540516590
This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. 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 intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.
| EAN: | 9783540516590 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 404 |
| Produktart: | kartoniert, broschiert |
| Verlag: | Springer Springer, Berlin Springer Berlin Heidelberg |
| Untertitel: | 2nd Workshop on Computer Science Logic, CSL '88, Duisburg, FRG. October 3-7, 1988. Proceedings |
| Schlagworte: | Formale Sprachen Mathematische Logik Second |
| Größe: | 235 |
| Gewicht: | 744 g |
