Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /
Saved in:
| Author / Creator: | Karhumäki, Juhani, 1949- |
|---|---|
| Imprint: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2004. |
| Description: | 1 online resource (Online-Ressource.) |
| Language: | English |
| Series: | Lecture Notes in Computer Science ; 3113 Lecture notes in computer science ; 3113. |
| Subject: | Computational complexity. Computer science. Electronic data processing. Logic design. Computation by Abstract Devices. Discrete Mathematics in Computer Science. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Numeric Computing. Theoretische Informatik. Computational complexity. Computer science. Electronic data processing. Logic design. Aufsatzsammlung. |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11075239 |
| LEADER | 03117cam a2200637Mi 4500 | ||
|---|---|---|---|
| 001 | 11075239 | ||
| 005 | 20170630044953.7 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 100510s2004 gw o 000 0 eng d | ||
| 003 | ICU | ||
| 040 | |a DEBSZ |b ger |e rakwb |c DEBSZ |d GWDNB |d CHVBK |d OCLCQ |d OCLCO |d OCLCQ |d OCLCF |d GBVCP | ||
| 016 | 7 | |a 1006911758 |2 DE-101 | |
| 019 | |a 845727012 | ||
| 020 | |a 9783540223931 | ||
| 020 | |a 3540223932 | ||
| 020 | |a 9783540278122 | ||
| 020 | |a 3540278125 | ||
| 024 | 7 | |a 10.1007/b98751 |2 doi | |
| 024 | 7 | |a urn:nbn:de:1111-2010091545 |2 urn | |
| 035 | |a (OCoLC)699825316 |z (OCoLC)845727012 | ||
| 084 | |a 004 |a p |a 11-03-05 |2 sdnb | ||
| 049 | |a MAIN | ||
| 100 | 1 | |a Karhumäki, Juhani, |d 1949- |1 http://viaf.org/viaf/85190858 | |
| 245 | 1 | 0 | |a Theory Is Forever : |b Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday / |c by Juhani Karhumäki, Hermann Maurer, Gheorghe Paun. |
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg, |c 2004. | ||
| 300 | |a 1 online resource (Online-Ressource.) | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a Lecture Notes in Computer Science ; |v 3113 | |
| 650 | 0 | |a Computational complexity. |0 http://id.loc.gov/authorities/subjects/sh85029473 | |
| 650 | 0 | |a Computer science. |0 http://id.loc.gov/authorities/subjects/sh89003285 | |
| 650 | 0 | |a Electronic data processing. |0 http://id.loc.gov/authorities/subjects/sh85042288 | |
| 650 | 0 | |a Logic design. |0 http://id.loc.gov/authorities/subjects/sh85078117 | |
| 650 | 4 | |a Computation by Abstract Devices. | |
| 650 | 4 | |a Discrete Mathematics in Computer Science. | |
| 650 | 4 | |a Logics and Meanings of Programs. | |
| 650 | 4 | |a Mathematical Logic and Formal Languages. | |
| 650 | 4 | |a Numeric Computing. | |
| 650 | 7 | |a Theoretische Informatik. |2 swd |0 (de-101)041967356 | |
| 650 | 7 | |a Computational complexity. |2 fast |0 (OCoLC)fst00871991 | |
| 650 | 7 | |a Computer science. |2 fast |0 (OCoLC)fst00872451 | |
| 650 | 7 | |a Electronic data processing. |2 fast |0 (OCoLC)fst00906956 | |
| 650 | 7 | |a Logic design. |2 fast |0 (OCoLC)fst01002045 | |
| 655 | 7 | |a Aufsatzsammlung. |2 swd | |
| 700 | 1 | |a Maurer, Hermann A., |d 1941- |0 http://id.loc.gov/authorities/names/n79063848 |1 http://viaf.org/viaf/105878114 | |
| 700 | 1 | |a Păun, Gheorghe. |0 http://id.loc.gov/authorities/names/n81109171 |1 http://viaf.org/viaf/116316083 | |
| 700 | 1 | |a Rozenberg, Grzegorz. |0 http://id.loc.gov/authorities/names/n79131464 |1 http://viaf.org/viaf/76378808 | |
| 773 | 0 | |i Buchausg. u.d.T.: |t Theory Is Forever. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 3113. | |
| 856 | 4 | 0 | |u http://link.springer.com/10.1007/b98751 |y SpringerLink |
| 903 | |a HeVa | ||
| 929 | |a eresource | ||
| 999 | f | f | |i 33254254-5ad4-5215-acd6-63c3fe1d219c |s 2fa546d3-8545-5a27-b33d-4be404c3a2dd |
| 928 | |t Library of Congress classification |l Online |c UC-FullText |u http://link.springer.com/10.1007/b98751 |z SpringerLink |g ebooks |i 9884798 | ||