Situation Calculus in Coq (1998)

Cached

Download Links

by Sara Pacheco , Supervised Am'ilcar Sernadas , Jaime Ramos
Citations:1 - 0 self