749:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

404 sidor
1989

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.

Författare: Egon Borger, Hans Kleine Buning, Michael M Richter
Format: Pocket/Paperback
ISBN: 9783540516590
Språk: Engelska
Antal sidor: 404
Utgivningsdatum: 1989-09-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K