DMCA

A New System and Methodology for Generating Random Modal Formulae (2001)

Cached

Download Links

by Peter F. Patel-Schneider , Roberto Sebastiani
Venue:Automated Reasoning, First Int. Joint Conf., IJCAR 2001
Citations:6 - 4 self