Logic toán học và suy diễn

Luận văn thạc sĩ VNU UET nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ Datalog001, cung cấp kiến thức chuyên sâu và ứng dụng thực tiễn.