Buchberger, B
85  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 Geometric Reasoning:

Buchberger, B ; Collins, G E ; Kutzler, B
Annual Review of Computer Science.  3 (1988)  1 - p. 85-119 , 1988
 
1-15