Partial Differential Equations and Mathematica®
Prem K. Kythe & Pratap Puri & Michael R. Schäferkotter
The Way of Hermes: New Translations of the Corpus Hermeticum ...
Clement Salaman & Dorine van Oyen & William D. Wharton
Mathematics and Democracy: Designing Better Voting and Fair-Division ...
Steven J. Brams
Adaptive Resilience: How to Thrive in a Digital Era
Maria Santacaterina
Conformal, Riemannian and Lagrangian Geometry
Paul C. Yang & Karsten Grove & Jon G. Wolfson & Paul C. Yang, Karsten Grove, Jon G. Wolfson & Edited By Alexandre Freire Sun-Yung A. Chang & Sun-Yung A. Chang & Alexandre Freire
Quantification in Natural Languages
Elke Bach & E. Jelinek & A. Kratzer & Barbara B. H. Partee
Proof Theory of Modal Logic
Heinrich Wansing
Proof Theory for Fuzzy Logics
George Metcalfe & Nicola Olivetti & Dov M. Gabbay
Programming Sound with Pure Data: Make Your Apps Come Alive ...
Tony Hillerson
Programming Language Pragmatics
Michael L. Scott
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