Revision #28730
Mark Ryan(5c3094c6-ae6f-47d4-9ccf-a1298cb3c0dc)
| Relationship: Author | — | b0f53269-dd2e-4105-8274-a0447902d2e7 |
|---|
Michael Huth(fe64e76a-19e2-415f-a54d-4a04a3903e9a)
| Relationship: Author | — | b0f53269-dd2e-4105-8274-a0447902d2e7 |
|---|
+ NewLogic in Computer Science: Modelling and Reasoning About Systems(b0f53269-dd2e-4105-8274-a0447902d2e7)
| Aliases | — | Logic in Computer Science: Modelling and Reasoning About Systems |
|---|---|---|
| Default Alias | — | Logic in Computer Science: Modelling and Reasoning About Systems |
| Languages | — | English |
| Relationship: Author | — | fe64e76a-19e2-415f-a54d-4a04a3903e9a |
| Relationship: Author | — | 5c3094c6-ae6f-47d4-9ccf-a1298cb3c0dc |
| Work Type | — | Non-fiction |
Created by cloverfield, 2020-10-02 02:10:16
Revision Notes
https://www.cs.bham.ac.uk/research/projects/lics/
— cloverfield, 2020-10-02 02:10:16