Hopp til treffliste
Hopp til hovedmeny
Depotbiblioteket
Logg inn
Søk
CCL
Lister
Vis filter / sortering
Biblioteket
Vis søkeresultat
Nullstill filter
·
Vis kun ledige titler
Søk kun i bestemt felt
Søk i alle felt
Tittel
Ord i tittel
Forfatter/Medvirkende
Emne/Omtalt
ISBN
Dewey-nr
Serienavn
Avgrens avdeling
Alle avdelinger
Biblioteket
KLASSESETT (i min bibavd)
Automatlager (i min bibavd)
Fra år
Til år
Vis søkeresultat
Del dette søket
Søk i andre bibliotek
Søkehistorikk
Nylig sett
Generert CCL
Generert CCL
(TPHOLs 2000*) eller (TPHOLs* og 2000*)
Ett treff
Sortering
Relevans (titler likest søkeord først)
Popularitet
Antall stjerner
Utgivelsesår (nyeste først)
Utgivelsesår (eldste først)
Tittel
Tittel (Å - A)
Person
Person (Å - A)
Sortering
Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings
TPHOLs 2000
Inngår i serie:
Lecture notes in computer science (1869)
Bok
·
Engelsk
·
c2000
Ledig
1/1
Vis mer
Søk og bestill fra andre bibliotek:
Biblioteksøk
