Summary goes here
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | Englisch |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 4bb40ea0-08fc-4bbc-8947-ede6dd7bd29c |
| isbn | 0387502416 9780387502410 3540502416 9783540502418 |
| issn | |
| language | eng |
| physical | vi, 346 pages :illustrations ;25 cm. |
| publication | – publisher: SpringerVerlag dateOfPublication: ©1988 |
| publishDate | ©1988 |
| subjects | |
| title | CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.). |
| topic | Computers Electronic data processing Logic, Symbolic and mathematical Computer science Computer science Computers. Electronic data processing. Logic, Symbolic and mathematical. computer science logic CSL Conference papers and proceedings. |