Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Author/Editor [Non Institute] | Year | Title | Type | |
---|---|---|---|---|
Xia, Yang [-] | 2002 | An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems In: Journal of Symbolic Computation [34], 461-477 | Journal Article | |
Yoshida, Bundy, Green, Walsh, Basin (Ed: Cohn) [Yoshida, Green, Walsh] | 1994 | Coloured Rippling: An Extension of a Theorem Proving Heuristic In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), 85-89 | Proceedings Article | |
Yuan, Billington, Freiheit [-] | 2005 | An Abstract Model of Routing in Mobile Ad Hoc Networks In: Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 137-156 | Proceedings Article | |
Zeyer [-] | 1997 | Eine Beobachtungs-Logik für modulare Sprachen Universität des Saarlandes | Thesis - PhD thesis |