Loading...
Logic in computer science: modelling and reasoning about systems/
Hovedforfatter: | |
---|---|
Andre forfattere: | |
Format: | Printed Book |
Udgivet: |
New Delhi:
Cambridge University Press,
2005.
|
Fag: |
MG University
Klassifikationsnummer: |
510 P52 |
---|---|
Kopi | Live Status Unavailable |