Declarative Logic Programming: Theory, Systems, and Applications
Michael Kifer & Yanhong Annie Liu
离散数学结构
Bernard Kolman & Robert C. Busby & B.·科尔曼 (美)
Algebraic Number Theory and Fermat's Last Theorem 3rd. Edition
David Orme Tall & Ian Nicholas Stewart
Features of Person: From the Inventory of Persons to Their Morphological ...
Peter Ackema & Ad Neeleman
Arguing, Reasoning, and Thinking Well
Robert H. Gass & John S. Seiter
NoSQL Essentials: Navigating the World of Non-Relational Databases
Kameron Hussain & Frahaan Hussain