Knowledge Resources | Dar Al-hikmah Library | Public Access
Subject(s): Logic programming | Programming languages (Electronic computers) -- Semantics | Automatic theorem proving Holdings: ,Book - General,Gombak Campus Library,General Collection,Open Shelf,QA76.63A567L,Available,00000307160