1. ["The Architecture of the FAIM-1 Symbolic Multiprocessing System", A. Davis et al, 9th Intl Joint Conf in Artif Intell, 1985, pp.32-38]. 2. Operator Identification Language. Used for overloading resolution by the Eli compiler-writing system.

In addition suitable contents:
[ 2 ] [ = ] [ ad ] [ ag ] [ AI ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ av ] [ b ] [ bo ] [ by ] [ C ] [ ca ] [ cat ] [ ch ] [ co ] [ com ] [ compiler ] [ D ] [ de ] [ ding ] [ du ] [ E ] [ ec ] [ ed ] [ er ] [ era ] [ es ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gu ] [ h ] [ hit ] [ hr ] [ Id ] [ id ] [ il ] [ in ] [ int ] [ io ] [ is ] [ it ] [ J ] [ Lex ] [ li ] [ load ] [ lt ] [ lu ] [ M ] [ mo ] [ mod ] [ module ] [ mp ] [ Mu ] [ na ] [ nf ] [ ng ] [ O ] [ om ] [ overloading ] [ pe ] [ ph ] [ pr ] [ process ] [ processing ] [ query ] [ rc ] [ re ] [ resolution ] [ rl ] [ ro ] [ S ] [ se ] [ si ] [ so ] [ solution ] [ st ] [ sy ] [ system ] [ T ] [ th ] [ to ] [ ua ] [ ve ] [ vi ] [ writing system ]