Logic in computer science : modelling and reasoning about systems /
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
New York : Cambridge University,
2004
|
| Subjects: | INFORMATICA, LOGICA, PROGRAMACION LOGICA, |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
cat-unco-ar-58466 |
|---|---|
| record_format |
koha |
| spelling |
cat-unco-ar-584662019-07-03T10:19:47ZLogic in computer science : modelling and reasoning about systems / Huth, Michael 33339 Ryan, Mark 33340 textNew York : Cambridge University, 2004engINFORMATICALOGICAPROGRAMACION LOGICA |
| institution |
UNCO AR |
| collection |
Koha |
| country |
Argentina |
| countrycode |
AR |
| component |
Bibliográfico |
| access |
En linea |
| databasecode |
cat-unco-ar |
| tag |
biblioteca |
| region |
America del Sur |
| libraryname |
Biblioteca Central Francisco P. Moreno |
| language |
eng |
| topic |
INFORMATICA LOGICA PROGRAMACION LOGICA INFORMATICA LOGICA PROGRAMACION LOGICA |
| spellingShingle |
INFORMATICA LOGICA PROGRAMACION LOGICA INFORMATICA LOGICA PROGRAMACION LOGICA Huth, Michael 33339 Ryan, Mark 33340 Logic in computer science : modelling and reasoning about systems / |
| format |
Texto |
| topic_facet |
INFORMATICA LOGICA PROGRAMACION LOGICA |
| author |
Huth, Michael 33339 Ryan, Mark 33340 |
| author_facet |
Huth, Michael 33339 Ryan, Mark 33340 |
| author_sort |
Huth, Michael 33339 |
| title |
Logic in computer science : modelling and reasoning about systems / |
| title_short |
Logic in computer science : modelling and reasoning about systems / |
| title_full |
Logic in computer science : modelling and reasoning about systems / |
| title_fullStr |
Logic in computer science : modelling and reasoning about systems / |
| title_full_unstemmed |
Logic in computer science : modelling and reasoning about systems / |
| title_sort |
logic in computer science : modelling and reasoning about systems / |
| publisher |
New York : Cambridge University, |
| publishDate |
2004 |
| work_keys_str_mv |
AT huthmichael33339 logicincomputersciencemodellingandreasoningaboutsystems AT ryanmark33340 logicincomputersciencemodellingandreasoningaboutsystems |
| _version_ |
1756205281730101248 |