Hopp til treffliste
Hopp til hovedmeny
Depotbiblioteket
Logg inn
Søk
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
Avgrens avdeling
Alle avdelinger
Biblioteket
KLASSESETT
Automatlager
Fra år
Til år
Vis søkeresultat
Del dette søket
Lagre søk
3 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
Bilde mangler
Isabelle/HOL : a proof assistant for higher-order logic
Nipkow, Tobias
Inngår i serie:
Lecture notes in computer science (2283)
Bok
·
Engelsk
·
c2002
Ledig
Vis mer
Bilde mangler
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings
International Symposium on Formal Methods
Inngår i serie:
Lecture notes in computer science (4085)
Bok
·
Engelsk
·
c2006
Ledig
Vis mer
Automated reasoning : first international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings
IJCAR 2001
Inngår i serier:
Lecture notes in artificial intelligence
,
Lecture notes in computer science (2083)
Bok
·
Engelsk
·
c2001
Ledig
Vis mer
Ikke det du leter etter?
Mente du?
Tobias
C Tobias
Nipkow
A Tobias
J Tobias
K Tobias
L Tobias
M Tobias
S Tobias
Tobis
Søk og bestill fra andre bibliotek:
Biblioteksøk
