Article,

Weak AGM postulates and strong Ramsey Test: A logical formalization.

, , and .
Artif. Intell., 168 (1-2): 1-37 (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews