Progress in computer science and applied logic
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Progress in computer science and applied logic
|
| Pubblicazione: | Basel [etc.], : Birkhäuser |
| ISSN: | 2297-0576 |
| Altri titoli varianti: | PCS |
| Titolo autorizzato: | Progress in computer science and applied logic |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Collezione |
| Lingua di pubblicazione: | Non definito |
| Record Nr.: | VAN0052679 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | https://www.springer.com/series/4814 |
| Opac: | Controlla la disponibilità qui |
Comprende:
The Evolution of Programs / Nachum Dershowitz Boston . -Birkhäuser , 1983 v, 359 p. . -ill. , 24 cm ; 5
Logic for computer scientists / Uwe Schoning Boston . -Birkhäuser , 1989 166 p. . -ill. , 24 cm ; 8
Mathematical logic : foundations for information science / Wei Li 2. revised ed Basel . -Birkhäuser . -Springer , 2014 XIV, 301 p. . -ill. , 24 cm ; 25
Perspectives in computational complexity : the Somenath Biswas anniversary volume / Manindra Agrawal, Vikraman Arvind editors Cham . -Birkhäuser . -Springer , 2014 X, 202 p. , 24 cm ; 26
Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors [Basel] . -Birkhäuser . -Springer , 2016 XII, 425 p. . -ill. , 24 cm ; 28
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior / Patrick Schultz, David I. Spivak Cham . -Birkhäuser , 2019 viii, 235 p. . -ill. , 24 cm ; 29
Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.] Boston . -Birkhäuser , 1993 XII, 813 p. , 24 cm ; 12
Learning and geometry : computational approaches / David Kueker, Carl Smith editors Boston [etc.] . -Birkhäuser , 1996 XIII, 210 p. . -ill. , 26 cm ; 14
Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode Boston [etc.] . -Birkhäuser , 2001 XIV, 430 p. , 24 cm ; 21