Search results for: Bruno Buchberger
Lecture Notes in Computer Science > Mathematical Software – ICMS 2010 > Groebner Bases and Applications (Contributed) > 245-248
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Computer Aided Systems Theory — EUROCAST 2001 > Computer Algebra and Automated Theorem Proving > 469-478
Lecture Notes in Computer Science > Computer Aided Systems Theory — EUROCAST 2001 > Invited Lectures > 1-19
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Papers > 236-250
Lecture Notes in Computer Science > Artificial Intelligence, Automated Reasoning, and Symbolic Computation > Calculemus Regular Talks > 337-341
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Papers > 132-142