loading

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