Theorem Proving with Sequence Variables and Flexible Arity Symbols (2002)

Cached

Download Links

by Temur Kutsia
Venue:LOGIC IN PROGRAMMING, ARTI INTELLIGENCE AND REASONING. INTERNATIONAL CONFERENCE LPAR'02, VOLUME 2514 OF LNAI
Citations:8 - 5 self