中图分类法:
TP302.2 版次:
著者:
Caferra, Ricardo,
题名:
Logic for computer science and artificial intelligence / / ,
出版发行:
出版地: London : 出版社: ISTE ; 出版日期: 2011.
载体形态:
xii, 523 p. : ill. ; 24 cm.
主题词:
Computer logic.
主题词:
Artificial intelligence.