Buchberger, B
172  Ergebnisse:
Personensuche X
?
3

Satisfiability checking and symbolic computation:

Ábrahám, E. ; Abbott, J. ; Becker, B....
ACM Communications in Computer Algebra.  50 (2017)  4 - p. 145-147 , 2017
 
?
4

Satisfiability checking and symbolic computation:

Ábrahám, E. ; Abbott, J. ; Becker, B....
ACM Communications in Computer Algebra.  50 (2017)  4 - p. 145-147 , 2017
 
?
 
?
 
?
 
?
14

Health economics of chronic infectious diseases: the exampl..:

Wasem, J. ; Sroczynski, G. ; Aidelsburger, P....
Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz.  49 (2006)  1 - p. 57-63 , 2006
 
?
15

Algebraic methods for non-linear computational geometry (in..:

, In: Proceedings of the fourth annual symposium on Computational geometry,
Buchberger, B. - p. 81-82 , 1988
 
1-15