Unification algorithms
Erik A. ColbanInngår i serie: COSMOS-report (16)
Colban, Erik A. Bok Engelsk utgitt 1990
Colban, Erik A. Bok Engelsk utgitt 1990
Ledig
- Automatlager: 1 av 1 ledig
*001323397 *00520250613134743.0 *007ta *008090317s1990 no 000 u eng *00900998cam a2200265 c 4500 *019 $bl *035 $a(EXLNZ-47BIBSYS_NETWORK)999315641824702201 *035 $a(NO-LaBS)15144535(bibid) *035 $a(NO-TrBIB)931564182 *035 $a931564182-47bibsys_network *040 $aNO-OsNB$bnob$ekatreg *080 $a510.53 *080 $a519.769 *1001 $aColban, Erik A.$d1959-$0(NO-TrBIB)90555217$_49854900 *24510$aUnification algorithms$cErik A. Colban *260 $aOslo$bDepartment of Mathematics, University of Oslo$c1990 *300 $a41 s.$bfig. *4901 $aCOSMOS-report$v16 *533 $aElektronisk reproduksjon$b[Norge]$cNasjonalbiblioteket Digital$d2017-07-17 *588 $aKatalogisert etter omslag. *653 $amatematisk$alingvistikk$acomputational$asemantics$aalgoritmer$_59940900 *830 0$aCOSMOS-report (trykt utg.)$x0802-4944$v16$w998903096714702201$_24651800 *85641$3Fulltekst$uhttps://urn.nb.no/URN:NBN:no-nb_digibok_2017071709531$yNettbiblioteket$zDigital representasjon *901 $a80 *999 $aoai:nb.bibsys.no:999315641824702202$b2021-11-14T20:11:24Z$z999315641824702202 ^