Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /
Saved in:
Author / Creator: | Karhumäki, Juhani. |
---|---|
Imprint: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2004. |
Language: | English |
Series: | Lecture notes in computer science, 0302-9743 ; 3113 |
Subject: | Computational complexity Computer science Electronic data processing Logic design |
Format: | E-Resource |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/7354387 |
LEADER | 02339nmm a22004335u 4500 | ||
---|---|---|---|
001 | 7354387 | ||
003 | ICU | ||
005 | 20081013141500.0 | ||
007 | cr nn 008mamaa | ||
008 | 080306s2004 xx j eng d | ||
035 | |a (Springer)978-3-540-22393-1 | ||
020 | |a 9783540223931 | ||
100 | 1 | |a Karhumäki, Juhani. |0 http://id.loc.gov/authorities/names/n80063572 |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. | ||
336 | |a computer dataset |b cod |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/cod | ||
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 | ||
440 | 0 | |a Lecture notes in computer science, |x 0302-9743 ; |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 | |
653 | 0 | |a Computer Science | |
653 | 0 | |a Computation by Abstract Devices | |
653 | 0 | |a Discrete Mathematics in Computer Science | |
653 | 0 | |a Logics and Meanings of Programs | |
653 | 0 | |a Mathematical Logic and Formal Languages | |
653 | 0 | |a Numeric Computing | |
700 | 1 | |a Maurer, Hermann. |0 http://id.loc.gov/authorities/names/no2005076727 |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 | |
710 | 2 | |a SpringerLink (Online service) |0 http://id.loc.gov/authorities/names/no2005046756 |1 http://viaf.org/viaf/148105729 | |
773 | 0 | |t Springer e-books | |
856 | 4 | 0 | |u http://dx.doi.org/10.1007/b98751 |
903 | |a HeVa | ||
929 | |a eresource | ||
999 | f | f | |i 4d691205-9957-5bbd-8845-d9fbd0bfc4f2 |s 97540da4-457e-52dc-85b6-b9df3e5c51c0 |
928 | |l Online |c UC-FullText |u http://dx.doi.org/10.1007/b98751 |g ebooks |i 7579743 |