Communication formalisms for automated theorem proving tools (2003)

by Geoff Sutcliffe , Jürgen Zimmer , Stephan Schulz
Venue:PROC. OF IJCAI-18 WORKSHOP ON AGENTS AND AUTOMATED REASONING
Citations:4 - 2 self