Automated Reasoning Series

Automated Development of Fundamental Mathematical Theories

Resolution Proof Systems

An Algebraic Theory

Automated Reasoning

Essays in Honor of Woody Bledsoe

Resolution Proof Systems

An Algebraic Theory

Piton

A Mechanically Verified Assembly-Level Language

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Professional Issues in Forensic Science

Data Science for COVID-19 Volume 1

Computational Perspectives

Wetlands for Water Pollution Control

Wetland Systems to Control Urban Runoff

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Functional Programming, Concurrency, Simulation and Automated Reasoning

International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Constraint Satisfaction Techniques for Agent-Based Reasoning

Ontologies for Agents: Theory and Experiences

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Database Applications Testing: Specification Representation For Automated Reasoning

Computer Mathematics - Proceedings Of The Fourth Asian Symposium (Ascm 2000)