Summary goes here
Saved in:
| Format: | Bog |
|---|---|
| Sprog: | engelsk |
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | bfbe7539-995f-4cce-b8f6-7ccfa43edc1d |
| isbn | 9780191546273 (electronic bk.) 0191546275 (electronic bk.) |
| issn | |
| language | eng |
| physical | 1 online resource. |
| publication | – publisher: Clarendon Press dateOfPublication: 2000 |
| publishDate | 2000 |
| subjects | |
| title | Handbook of logic in computer science. edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. [electronic resource] / Volume 5, Logic and algebraic methods |
| topic | Computer science. Logic, Symbolic and mathematical. Informatique. Logique symbolique et mathématique. Ciencia da computacao ou informatica. Logica e semantica de programacao. Programming. Electronic books. |