Logic and Proof in Computer Science

Advances in Knowledge Acquisition, Transfer, and Management
doi 10.4018/978-1-5225-2443-4.ch007
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IGI Global