I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Some results on theorem proving in geometry over finite fie..:

, In: Proceedings of the 1993 international symposium on Symbolic and algebraic computation,
Lin, Dongdai ; Liu, Zhuojun - p. 292-300 , 1993
Link: https://dl.acm.org/doi/10.1145/164081.164143