Author:
Brandt Jens,Schneider Klaus
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Bolc, L., Borowik, P.: Many-Valued logics. Springer, Heidelberg (1992)
2. Lecture Notes in Computer Science;J. Brandt,2005
3. Brzozowski, J., Seger, C.-J.: Asynchronous Circuits. Springer, Heidelberg (1995)
4. Burnikel, C., Mehlhorn, K., Schirra, S.: On degeneracy in geometric computations. In: Symposium on Discrete Algorithms (SODA), Arlington, Virginia, USA, pp. 16–23. ACM Press, New York (1994)
5. Chou, S., Gao, X., Zhang, J.: Machine Proofs in Geometry. World Scientific, Singapore (1994)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献