Structures in logic and computer science : A selection of essays in honor of A. Ehrenfeucht
Mentés helye:
Közreműködő(k): | |
---|---|
Formátum: | könyv |
Nyelv: | angol |
Megjelenés: |
Berlin [etc.] : Springer,
1997
|
Sorozat: | Lecture notes in computer science, ISSN 3020-9743 ; 1261 |
Tárgyszavak: | |
Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
id |
opac-EUL01-000070905 |
---|---|
institution |
L_042 EUL01 |
spelling |
Structures in logic and computer science A selection of essays in honor of A. Ehrenfeucht eds. Jan Mycielski, G. Rozenberg, A. Salomaa [et al.] Berlin [etc.] Springer cop. 1997 370 p. ill. 24 cm Lecture notes in computer science 3020-9743 1261 Includes bibliographical references and index könyv af Ehrenfeucht Theory of computation Mathematical logic and formal languages Salomaa, Arto Rozenberg, Grzegorz Mycielski, Jan Lecture notes in computer science EUL01 |
language |
English |
format |
Book |
author2 |
Salomaa, Arto Rozenberg, Grzegorz Mycielski, Jan |
author_facet |
Salomaa, Arto Rozenberg, Grzegorz Mycielski, Jan |
author_sort |
Salomaa, Arto |
title |
Structures in logic and computer science : A selection of essays in honor of A. Ehrenfeucht |
spellingShingle |
Structures in logic and computer science : A selection of essays in honor of A. Ehrenfeucht Lecture notes in computer science, ISSN 3020-9743 ; 1261 Ehrenfeucht Theory of computation -- Mathematical logic and formal languages |
title_sub |
A selection of essays in honor of A. Ehrenfeucht |
title_short |
Structures in logic and computer science |
title_full |
Structures in logic and computer science A selection of essays in honor of A. Ehrenfeucht eds. Jan Mycielski, G. Rozenberg, A. Salomaa [et al.] |
title_fullStr |
Structures in logic and computer science A selection of essays in honor of A. Ehrenfeucht eds. Jan Mycielski, G. Rozenberg, A. Salomaa [et al.] |
title_full_unstemmed |
Structures in logic and computer science A selection of essays in honor of A. Ehrenfeucht eds. Jan Mycielski, G. Rozenberg, A. Salomaa [et al.] |
title_auth |
Structures in logic and computer science A selection of essays in honor of A. Ehrenfeucht |
title_sort |
structures in logic and computer science a selection of essays in honor of a ehrenfeucht |
series |
Lecture notes in computer science, ISSN 3020-9743 ; 1261 |
series2 |
Lecture notes in computer science |
publishDate |
1997 |
publishDateSort |
1997 |
physical |
370 p. : ill. ; 24 cm |
isbn |
3-540-63246-8 |
issn |
3020-9743 |
callnumber-raw |
10332 |
callnumber-search |
10332 |
topic |
Ehrenfeucht Theory of computation -- Mathematical logic and formal languages |
topic_facet |
Ehrenfeucht Theory of computation -- Mathematical logic and formal languages Theory of computation Mathematical logic and formal languages |
illustrated |
Illustrated |
first_indexed |
2022-02-13T11:09:32Z |
last_indexed |
2023-07-31T00:19:34Z |
recordtype |
opac |
publisher |
Berlin [etc.] : Springer |
_version_ |
1772885717253357568 |
score |
13,365248 |
bibliography |
Includes bibliographical references and index |