预订 knowledge formalization and information retr.
预订 concept and formalization of constellatory self
【预订】probability logics: probability-based formalization of
预订 a framework for semi-automated formalization.
【预售】concept and formalization of constellatory self