Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:391854 > Synthesis of a unif...

Synthesis of a unification algorithm in a logic programming calculus.

Eriksson, Lars-Henrik (författare)
Uppsala, 1983
Engelska 47 bl.
Serie: Technical report - Uppsala Programming Methodology and Artificial Intelligence Laboratory, 99-0401302-0 ; 22
  • Bok
Inställningar Hjälp

Titeln finns på 3 bibliotek. 

Bibliotek i Mellansverige (1)

Ange som favorit

Bibliotek i Stockholmsregionen (1)

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