 |
|
|
Item Details
| Title:
|
CSL '88
2ND WORKSHOP ON COMPUTER SCIENCE LOGIC, DUISBURG, FRG, OCTOBER 3-7, 1988, PROCEEDINGS |
| By: |
E. Borger (Editor), Hans Kleine Buning (Editor), Michael M. Richter (Editor) |
| Format: |
Paperback |
| List price:
|
£78.50 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
354051659X |
| ISBN 13: |
9783540516590 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
6 September, 1989 |
| Edition: |
1989 ed. |
| Series: |
Lecture Notes in Computer Science v.385 |
| Pages: |
412 |
| Synopsis: |
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. |
| Illustrations: |
biography |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Returnable |
|
|
|
 |
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|