Logic Programming, Knowledge Representation, and Nonmonotonic ...
Marcello Balduccini & Tran Cao Son
Higher-Order Algebra, Logic, and Term Rewriting: Second International ...
Gilles Dowek & Jan Heering & Karl Meinke & Bernhard Möller
Giovanni Pico della Mirandola
James Macmullen Rigg & Thomas More
Mastering React Test-Driven Development: Build Simple and Maintainable ...
Daniel Irvine
Simulating Society - A Mathematica® Toolkit for Modeling Socioeconomic ...
Richard J. Gaylord & Louis J. D'Andria
Forensic Linguistics: Advances in Forensic Stylistics
Gerald R. McMenamin