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
2 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
Canonical equational proofs
Bachmair, Leo
Inngår i serie:
Progress in theoretical computer science
Bok
·
Engelsk
·
1991
Ledig
Vis mer
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
International Conference on Rewriting Techniques and Applications
Inngår i serie:
Lecture notes in computer science (1833)
Bok
·
Engelsk
·
c2000
Ledig
Vis mer
Ikke det du leter etter?
Mente du?
Bachmair
Bachmaier
Bachmeier
Bach Air
Lee
Lier
Lo
Lied
Leon
Leir
Søk og bestill fra andre bibliotek:
Biblioteksøk
