Cargando…
Handbook of logic in computer science. Volume 5, Logic and algebraic methods /
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any seri...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford : New York :
Clarendon Press ; Oxford University Press,
2000.
|
| Colección: | Oxford science publications.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm53983677 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 040106s2000 enk ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCG |d OCLCQ |d N$T |d OCLCQ |d OCLCF |d NLGGC |d OCLCO |d OCLCQ |d IDEBK |d OCLCQ |d STF |d VTS |d AGLDB |d G3B |d K6U |d OCLCO |d INARC |d OCLCQ |d SFB |d OCLCQ |d YDX | ||
| 019 | |a 814379019 |a 824546057 |a 906270583 |a 1082223175 | ||
| 020 | |a 9780191546273 |q (electronic bk.) | ||
| 020 | |a 0191546275 |q (electronic bk.) | ||
| 020 | |a 1280375272 | ||
| 020 | |a 9781280375279 | ||
| 020 | |z 0198537352 | ||
| 020 | |z 9780198537359 | ||
| 020 | |z 0198537611 | ||
| 020 | |z 9780198537618 | ||
| 020 | |z 019853762X | ||
| 020 | |z 9780198537625 | ||
| 020 | |z 0198537808 | ||
| 020 | |z 9780198537809 | ||
| 020 | |z 0198537816 | ||
| 020 | |z 9780198537816 | ||
| 029 | 1 | |a DEBBG |b BV043134508 | |
| 029 | 1 | |a DEBSZ |b 422405094 | |
| 029 | 1 | |a GBVCP |b 801101956 | |
| 029 | 1 | |a NZ1 |b 11632364 | |
| 035 | |a (OCoLC)53983677 |z (OCoLC)814379019 |z (OCoLC)824546057 |z (OCoLC)906270583 |z (OCoLC)1082223175 | ||
| 050 | 4 | |a QA76 |b .H2785 2000eb | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 072 | 7 | |a PBCD |2 bicssc | |
| 082 | 0 | 4 | |a 004 |2 22 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Handbook of logic in computer science. |n Volume 5, |p Logic and algebraic methods / |c edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. |
| 246 | 3 | 0 | |a Logic and algebraic methods |
| 260 | |a Oxford : |b Clarendon Press ; |a New York : |b Oxford University Press, |c 2000. | ||
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Oxford science publications. | |
| 504 | |a Includes bibliographical references and indexes. | ||
| 520 | |a This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 2 | |a Electronic Data Processing | |
| 650 | 6 | |a Informatique. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a Computer science. |2 fast |0 (OCoLC)fst00872451 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Ciencia da computacao ou informatica. |2 larpcal | |
| 650 | 7 | |a Logica e semantica de programacao. |2 larpcal | |
| 653 | 0 | |a Programming. | |
| 700 | 1 | |a Abramsky, Samson, |d 1953- | |
| 700 | 1 | |a Gabbay, Dov M., |d 1945- | |
| 700 | 1 | |a Maibaum, Thomas S. E., |d 1947- | |
| 776 | 0 | 8 | |i Print version: |t Handbook of logic in computer science. Volume 5, Logic and algebraic methods. |d Oxford : Clarendon Press ; New York : Oxford University Press, 2000 |z 0198537352 |z 9780198537359 |w (DLC) 92000510 |w (OCoLC)25831688 |
| 830 | 0 | |a Oxford science publications. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98424 |z Texto completo |
| 938 | |a YBP Library Services |b YANK |n 20427205 | ||
| 938 | |a EBSCOhost |b EBSC |n 98424 | ||
| 938 | |a Internet Archive |b INAR |n handbookoflogici0001unse_z8j4 | ||
| 938 | |a YBP Library Services |b YANK |n 2336166 | ||
| 994 | |a 92 |b IZTAP | ||