The Rabbi's Brain: Mystics, Moderns and the Science of Jewish ...
David Halpern & Andrew B. Newberg
Computer Graphics, C Version
Donald Hearn & M. Pauline Baker
Routledge Dictionary of Language and Linguistics
Hadumod Bussmann
功能语法导论
Michael Alexander Kirkwood Halliday & 胡壮麟
Craft GraphQL APIs in Elixir With Absinthe: Flexible, Robust ...
Ben Wilson & Bruce Williams
Professional Assembly Language
Richard Blum
Process Grammar: The Basis of Morphology
Michael Leyton
Probability, Markov Chains, Queues, and Simulation: The Mathematical ...
William J. Stewart
Problem Solving in Automata, Languages, and Complexity
Ding-Zhu Du & Ker-i Ko
Philosophy and Computer Science
Timothy R. Colburn
Philosophy and Computing: An Introduction
Luciano Floridi
Mathematical Logic
Heinz-Dieter Ebbinghaus & Jörg Flum & Wolfgang Thomas
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry
Roman Kossak
Mathematical Logic for Computer Science
Mordechai Ben-Ari
Logical and Computational Aspects of Model-Based Reasoning
L. Magnani & N. J. Nersessian & Claudio Pizzi
Labelled Deduction
David Basin & M. D'Agostino & Dov M. Gabbay & Seán Matthews & Luca Viganò
Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets
Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
Frontiers in Belief Revision
M. Williams & Hans Rott
Fuzzy Sets, Logics and Reasoning About Knowledge
Didier Dubois & Henri Prade & Erich Peter Klement
Foundations of Rational Agency
Michael Wooldridge & A. Rao
Foundations of Bayesianism
D. Corfield & J. Williamson
Computational Music Analysis
David Meredith
An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
Advanced Information Processing: Proceedings of a Joint Symposium. ...
Heinz Schwärtzel & Igor A. Mizin