Cargando…
Handbook of logic in computer science
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Clarendon Press
1993
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/243762 |
| _version_ | 1780885110310043648 |
|---|---|
| author | Gabbay, D M Maibaum, T S E Abramsky, S |
| author_facet | Gabbay, D M Maibaum, T S E Abramsky, S |
| author_sort | Gabbay, D M |
| collection | CERN |
| id | cern-243762 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 1993 |
| publisher | Clarendon Press |
| record_format | invenio |
| spelling | cern-2437622021-04-22T03:57:48Zhttp://cds.cern.ch/record/243762engGabbay, D MMaibaum, T S EAbramsky, SHandbook of logic in computer scienceComputing and ComputersClarendon Pressoai:cds.cern.ch:2437621993 |
| spellingShingle | Computing and Computers Gabbay, D M Maibaum, T S E Abramsky, S Handbook of logic in computer science |
| title | Handbook of logic in computer science |
| title_full | Handbook of logic in computer science |
| title_fullStr | Handbook of logic in computer science |
| title_full_unstemmed | Handbook of logic in computer science |
| title_short | Handbook of logic in computer science |
| title_sort | handbook of logic in computer science |
| topic | Computing and Computers |
| url | http://cds.cern.ch/record/243762 |
| work_keys_str_mv | AT gabbaydm handbookoflogicincomputerscience AT maibaumtse handbookoflogicincomputerscience AT abramskys handbookoflogicincomputerscience |