Return to search

A SLDNF formalization for updates and abduction /

Thesis (M.Sc. (Hons.)) -- University of Western Sydney, 2001. / "A thesis submitted for the degree of Master of Science (Honours) - Computing and Information Technology at University of Western Sydney" Bibliography : leaves 93-98.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/223576180
Date January 2001
CreatorsLakkaraju, Sai Kiran.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceView thesis View thesis

Page generated in 0.0016 seconds