Logic and language models for computer science

Đã lưu trong:
书目详细资料
主要作者: Henry Hamburger
格式: 图书
语言:Undetermined
出版: Upper Saddle River, NJ Prentice-Hall 2002
主题:
标签: 添加标签
没有标签, 成为第一个标记此记录!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
LEADER 00635nam a2200181Ia 4500
001 CTU_56282
008 210402s9999 xx 000 0 und d
082 |a 005.131 
082 |b H199 
100 |a Henry Hamburger 
245 0 |a Logic and language models for computer science 
245 0 |c Henry Hamburger and Dana Richards 
260 |a Upper Saddle River, NJ 
260 |b Prentice-Hall 
260 |c 2002 
650 |a programming languages ( electronic computers ),logic, symbolic and mathematical,computer science,automaths ( formal language ) 
650 |x mathematics 
980 |a Trung tâm Học liệu Trường Đại học Cần Thơ