Logic for computer scientists / Uwe Schoning
Tác giả : Uwe Schoning
Nhà xuất bản : Birkhauser
Năm xuất bản : 1989
Nơi xuất bản : Boston, Massachusetts
Mô tả vật lý : ## ; 166p.
ISBN : 0 8176 3453 3
Số phân loại : 511.3
Chủ đề : 1. logic programming. 2. logic, symbolic and mathematical. 3. Toán học.
Thông tin chi tiết
| Tóm tắt : | This book introduces the notions and methods of formal logic from a computer science stanpoint, covering propositional logi, predicate logic, and foundations of logic programming. It presents such modern applications and themes of current computer science research as resolution, automated deduction, and logic programming in a rigorous but readable way |
Thông tin dữ liệu nguồn
| Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
|---|---|---|
Thư viện đại học Cần Thơ
|
2120_228461 |
https://lrcopac.ctu.edu.vn/pages/opac/wpid-detailbib-id-22846.html |
Tài liệu cùng danh mục chủ đề
Hệ toán mệnh đề và một vài ứng dụng : Luận năm tốt nghiệp Đại học Sư phạm ngành Toán Khóa 15 / Đỗ Nhật Tân
Tác giả : Đỗ Nhật Tân
Nhà xuất bản : Trường Đại học Cần Thơ, Khoa Sư phạm, Bộ môn Toán
Năm xuất bản : 1993
Lí thuyết điều khiển mờ / Phan Xuân Minh, Nguyễn Doãn Phước
Tác giả : Phan Xuân Minh, Nguyễn Doãn Phước
Nhà xuất bản : KHKT
Năm xuất bản : 1997
Set theory / Charles C. Pinter
Tác giả : Charles C. Pinter
Nhà xuất bản : Addison-Wesley
Năm xuất bản : 1971
Giới thiệu lý thuyết tập hợp / Waclaw Sierpinsky, Phạm Văn ất
Tác giả : Waclaw Sierpinsky, Phạm Văn ất
Nhà xuất bản : KHKT
Năm xuất bản : 1971
Logic toán / S L Edenmar; Dịch giả: Nguyễn Mạnh Quý
Tác giả : S L Edenmar; Dịch giả: Nguyễn Mạnh Quý
Nhà xuất bản : Giáo dục
Năm xuất bản : 1981
Đại học Công nghệ - ĐHQGHN 
Đại học Giáo dục - ĐHQGHN 
Đại học khoa học tự nhiên - ĐHQGHN 
Đại học Khoa học Xã hội và Nhân văn - ĐHQGHN 
Đại học Kinh tế - ĐHQGHN 
Đại học Ngoại ngữ - ĐHQGHN 
Đại học quốc gia Hà Nội 
Đại học Y - Dược - ĐHQGHN 
Học Viện Hàng Không Việt Nam 
Thư viện Huyện Bình Chánh - TVKHTH TP.HCM 
Thư viện huyện Bình Minh - TV Vĩnh Long 
Thư viện huyện Bình Tân - TV Vĩnh Long 
Thư viện Huyện Cần Giờ - TVKHTH TP.HCM 
Thư viện Huyện Củ Chi - TVKHTH TP.HCM 
Thư viện Huyện Hóc Môn - TVKHTH TP.HCM 
Thư viện huyện Long Hồ - TV Vĩnh Long 
Thư viện huyện Mang Thít - TV Vĩnh Long 
Thư viện Huyện Nhà Bè - TVKHTH TP.HCM 
Thư viện huyện Tam Bình - TV Vĩnh Long 
Thư viện huyện Trà Ôn - TV Vĩnh Long 
Thư viện Khoa học Tổng hợp TP.HCM 
Thư viện quận 1 - TVKHTH TP.HCM 
Thư viện quận 10 - TVKHTH TP.HCM 
Thư viện quận 11 - TVKHTH TP.HCM 
Thư viện quận 12 - TVKHTH TP.HCM 
Thư viện quận 2 - TVKHTH TP.HCM 
Thư viện quận 3 - TVKHTH TP.HCM 
Thư viện quận 4 - TVKHTH TP.HCM 
Thư viện quận 5 - TVKHTH TP.HCM 
Thư viện quận 6 - TVKHTH TP.HCM 
Thư viện quận 7 - TVKHTH TP.HCM 
Thư viện quận 8 - TVKHTH TP.HCM 
Thư viện quận Bình Tân - TVKHTH TP.HCM 
Thư viện quận Bình Thạnh - TVKHTH TP.HCM 
Thư viện quận Gò Vấp - TVKHTH TP.HCM 
Thư viện quận Phú Nhuận - TVKHTH TP.HCM 
Thư viện quận Tân Bình - TVKHTH TP.HCM 
Thư viện quận Tân Phú - TVKHTH TP.HCM 
Thư viện Quốc gia Việt Nam 
Thư viện thành phố Thủ Đức (cơ sở 1) - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 2) - TVKHTH TP.HCM 
Thư Viện Tỉnh An Giang 
Thư viện tỉnh Vĩnh Long 
Tổ chức y tế thế giới 
Trung tâm giáo dục quốc phòng và An ninh - ĐHQGHN 
Trung tâm Hỗ trợ Sinh viên - ĐHQGHN 
Trường Đại học Luật - ĐHQGHN 
Trường Khoa học liên ngành và nghệ thuật - ĐHQGHN 
Trường Quản trị và Kinh doanh - ĐHQGHN 
Viện Công nghệ Thông tin - ĐHQGHN 
Viện Đảm bảo chất lượng giáo dục - ĐHQGHN 
Viện Quốc tế Pháp ngữ - ĐHQGHN 
Viện Tài nguyên và Môi trường - ĐHQGHN 
Viện Vi sinh vật và Công nghệ Sinh học - ĐHQGHN 
Viện Việt Nam học và Khoa học phát triển - ĐHQGHN