Bruno Buchberger

Identifiers

Open LibraryOL1695436A

Top Subjects

Recursive functions (3)
Programming languages (Electronic computers) (2)
Signal theory (Telecommunication) (1)
Mathematics (1)
Logic (1)
Mathematics / Logic (1)
Discrete Mathematics (1)

Books by Bruno Buchberger

Total count: 19

Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal

1965-01-01
A comment on Blum's signal functions.

(Inst. f. Numerische Mathematik u. Elektronische Informationsverarbeitung, Univ. Innsbruck)1971-01-01
A basic problem in the theory of programming languages.

(Inst. f. Numerische Mathematik u. Elektronische Informationsverarbeitung, Univ. Innsbruck)1972-01-01
A study on universal functions

Institut für Numerische Mathematik und Elektronische Informationsverarbeitung, Universität Innsbruck1972-01-01
Computer AlgebraSymbolic and Algebraic Computation (Cell Biology Monographs)

Springer1983-01-01
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 1Invited Lectures (Lecture Notes in Computer Science)1 edition

Springer1985-11-11
Eurocal '85Invited Lectures (Lecture Notes in Computer Science)

Springer1986-01-01
Eurocal '85Research Contributions (Lecture Notes in Computer Science)

Springer1986-01-01
Parallel Processing: Conpar 94-Vapp VI : Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 1994Pro (Lecture Notes in Computer Science)

Springer-Verlag1994-09-01
Grobner Bases and Applications

Cambridge University Press1998-01-01
Gröbner Bases and Applications

Cambridge University Press1998-01-01
Computer Aided Systems Theory - EUROCAST 2001A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers

Springer London, Limited2003-01-01
Artificial Intelligence and Symbolic Computation7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings

Springer London, Limited2004-01-01
Parallel Processing : CONPAR 94 - VAPP VIThird Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994. Proceedings

Springer London, Limited2006-01-01
Mathematical Knowledge ManagementSecond International Conference, MKM 2003 Bertinoro, Italy, February 16-18 2003

Springer London, Limited2007-01-01
Hagenberg Research

Springer London, Limited2009-01-01
Rechnerorientierte Verfahren

Vieweg+Teubner Verlag2013-01-03
Artificial Intelligence - Eine Einführung

Vieweg+Teubner Verlag2014-02-26
Correct Software in Web Applications and Web Services

Springer2015-01-01