Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>
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.
Serija: | Lecture Notes in Computer Science |
Leidėjas: | Springer Berlin Heidelberg |
Išleidimo metai: | 1989 |
Knygos puslapių skaičius: | 412 |
ISBN-10: | 354051659X |
ISBN-13: | 9783540516590 |
Formatas: | 235 x 155 x 23 mm. Knyga minkštu viršeliu |
Kalba: | Anglų |
Parašykite atsiliepimą apie „CSL88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings“