Skip to contents

Buchberger, Bruno [Editor] ; AISC 7 2004 Linz

Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22 - 24,2004; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 3249
Buchberger, Bruno [Editor] ; CONPAR 6 1994 Linz, VAPP 6 1994 Linz, Joint International Conference on Vector and Parallel Processing 3 1994 Linz

Parallel processing : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in computer science ; 854
Buchberger, Bruno [Other]

Rechnerorientierte Verfahren

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Teubner, 1986

Published in: Mathematische Methoden in der Technik ; 400
Buchberger, Bruno [Editor]

Computer algebra : symbolic and algebraic computation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wien [u.a.]: Springer, 1982

Published in: Computing <Wien> / Supplementum ; 4
Buchberger, Bruno [Author]

Associating functions and operator of conditioned iteration

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Innsbruck: Univ., 1971

Published in: Institut für Numerische Mathematik und Elektronische Informationsverarbeitung: Bericht ; 71,01
Buchberger, Bruno [Author]

A basic problem in the theory of programming languages

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Innsbruck: Univ., 1972

Published in: Institut für Numerische Mathematik und Elektronische Informationsverarbeitung: Bericht ; 72,01
Buchberger, Bruno [Author]

Bemerkung zu den Reduzierbarkeitskriterien von R. Albrecht für das Optimum-Mix-Problem

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Innsbruck: Univ., 1971

Published in: Institut für Numerische Mathematik und Elektronische Informationsverarbeitung: Bericht ; 71,05
Buchberger, Bruno [Author]

Certain decompositions of Gödel numberings and the semantics of programming languages : Vortrag gehalten am Symposium on Theoretical Programming, 7 - 11 Aug. 1972 in Nowosibirsk

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Innsbruck: Univ., 1972
Buchberger, Bruno [Author]

A comment on Blum's signal functions

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Innsbruck: Univ., 1971

Published in: Institut für Numerische Mathematik und Elektronische Informationsverarbeitung: Bericht ; 71,03
Buchberger, Bruno [Author]

A study on universal functions

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Innsbruck: Univ., 1972

Published in: Institut für Numerische Mathematik und Elektronische Informationsverarbeitung: Bericht ; 72,05
Buchberger, Bruno [Author]; Lichtenberger, Franz [Author]

Mathematik für Informatiker / 1, Die Methode der Mathematik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 1980

Published in: Mathematik für Informatiker / B. Buchberger; F. Lichtenberger ; 1 - Informatik-Fachberichte ; 35
Buchberger, Bruno [Author]; Lichtenberger, Franz [Author]

Mathematik für Informatiker / 1, Die Methode der Mathematik - [2., korr. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 1981

Published in: Mathematik für Informatiker / B. Buchberger; F. Lichtenberger ; 1,2
Buchberger, Bruno [Author]; Lichtenberger, Franz [Author]

Mathematik für Informatiker

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 19XX-
Buchberger, Bruno [Editor]; Collins, George Edwin [Other]

Computer algebra : symbolic and algebraic computation - [2. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wien [u.a.]: Springer, 1983
Asperti, Andrea [Editor]; Buchberger, Bruno [Other]; Davenport, James Harold [Other] ; MKM 2 2003, Bertinoro Bertinoro

Mathematical knowledge management : second international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2003

Published in: Lecture notes in computer science ; 2594
Buchberger, Bruno [Editor] ; SYNASC 24. 2023 Linz; Hagenberg im Mühlkreis; Online

2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : SYNASC 2022 : Linz, Austria, 12-15 September 2022 : proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Piscataway, NJ: IEEE, 2023
Buchberger, Bruno [Other] ; CONPAR 6 1994 Linz, VAPP 6 1994 Linz, Joint International Conference on Vector and Parallel Processing 3 1994 Linz

Parallel processing: CONPAR 94 - VAPP VI : third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6 - 8, 1994 ; proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1994 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 85400
Buchberger, Bruno [Other] ; EUROCAL 1985 Linz

EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1 - 3 1985 ; proceedings vol. 1: invited lectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1985 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 20300
Buchberger, Bruno [Author] ; Campbell, John A. [Other]

Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Published in: Lecture notes in computer science ; 3249
Buchberger, Bruno [Author] ; Campbell, John [Other]

Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 324900

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication