PROTON: A Prolog Reasoner for Temporal O
β
Nikos Papadakis; Kostas Stravoskoufos; Evdoxios Baratis; Euripides G.M. Petrakis
π
Article
π
2011
π
Elsevier Science
π
English
β 618 KB