Tyck till om SwePub Sök här!
LAR1:gu
Search: LAR1:gu > 23rd International ...
- 10 of 163832
- Previous record
- Next record
- To hitlist
23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary.
-
- Abel, Andreas, 1974 (editor)
- Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik, datavetenskap (GU),Department of Computer Science and Engineering, Computing Science (GU)
- Nordvall Forsberg, Fredrik (editor)
- Kaposi, Ambrus (editor)
- (creator_code:org_t)
- ISBN 9783959770712
- Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018
- English.
- Editorial collection (other academic/artistic)
Subject headings
Close
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publication and Content Type
- vet (subject category)
- sam (subject category)
Find in a library
- 23rd International Conference on Types for Proofs and Programs, TYPES 2017, May ... (Search the publication in LIBRIS)
To the university's database
- 10 of 163832
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Abel, Andreas, 1 ...
- Nordvall Forsber ...
- Kaposi, Ambrus
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- By the university
- University of Gothenburg
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
