Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:573388 > First-order unifica...

First-order unification in combinations of equational theories / Erik Tidén

Tidén, Erik, 1957- (författare)
Stockholm : Tekniska högsk., 1986
Engelska 25 s.
Serie: Trita-NA, 0348-2952 ; 8604
  • BokAvhandling(Diss. (sammanfattning) Stockholm : Tekn. högsk.)
Ämnesord
Stäng  

Ämnesord

Ekvationsteorier (Algebra) 

Indexterm och SAB-rubrik

Pub Databehandling Allmänt

Klassifikation

512.55 (DDC)
Pub (kssb/6)
Inställningar Hjälp

Titeln finns på 5 bibliotek. 

Bibliotek i norra Sverige (1)

Ange som favorit

Bibliotek i Mellansverige (1)

Ange som favorit

Bibliotek i Stockholmsregionen (2)

Ange som favorit

Bibliotek i södra Sverige (1)

Ange som favorit

Sök utanför LIBRIS

Hjälp
Om LIBRIS
Sekretess
Blogg
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Sondera
Uppsök

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy