000 00811nam a2200229 a 4500
008 120416s1995 ||||||||||||||||| || u
020 _a052146014x
050 _aB 820.3 Mey
100 _aMeyer, John-Jules Ch
245 1 0 _aEpestemic logic for AI and computer science
260 _aCambridge
_bCambridge University Press
_c1995.
300 _axiii, 354 p. : ill.
350 _a0.00
490 _aCambridge tracts in theoretical computer science
490 _v41
500 _aBibliography
650 _aCOMPUTER SCIENCE
650 _aLOGIC, SYMBOLICAL AND MATHEMATICAL
650 _aARTIFICIAL INTELLIGENCE
700 _aHoek, Wiebe van der
995 _D0.00
_FCBU-MAIN LIBRARY (Kitwe)
_H1
_I31.95
_UAVAILABLE
_ZMain Library Open Access Collection
999 _c42297
_d42297