Zum Inhalt springen

Buchberger, Bruno [HerausgeberIn] ; AISC 7 2004 Linz

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Parallel processing : proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 854
Buchberger, Bruno [Sonstige Person, Familie und Körperschaft]

Rechnerorientierte Verfahren

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart: Teubner, 1986

Erschienen in: Mathematische Methoden in der Technik ; 400
Buchberger, Bruno [HerausgeberIn]

Computer algebra : symbolic and algebraic computation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wien [u.a.]: Springer, 1982

Erschienen in: Computing <Wien> / Supplementum ; 4
Buchberger, Bruno [VerfasserIn]

Associating functions and operator of conditioned iteration

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Innsbruck: Univ., 1971

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

A basic problem in the theory of programming languages

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Innsbruck: Univ., 1972

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Innsbruck: Univ., 1971

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

A comment on Blum's signal functions

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Innsbruck: Univ., 1971

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

A study on universal functions

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Innsbruck: Univ., 1972

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 1981

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 1980

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

Mathematik für Informatiker

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 19XX-
Buchberger, Bruno [HerausgeberIn]; Collins, George Edwin [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wien [u.a.]: Springer, 1983
Asperti, Andrea [HerausgeberIn]; Buchberger, Bruno [Sonstige Person, Familie und Körperschaft]; Davenport, James Harold [Sonstige Person, Familie und Körperschaft] ; MKM 2 2003, Bertinoro Bertinoro

Mathematical knowledge management : second international conference ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2594
Buchberger, Bruno [HerausgeberIn] ; 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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Piscataway, NJ: IEEE, 2023
Buchberger, Bruno [Sonstige Person, Familie und Körperschaft] ; 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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 85400
Buchberger, Bruno [Sonstige Person, Familie und Körperschaft] ; EUROCAL 1985 Linz

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 20300
Buchberger, Bruno [VerfasserIn] ; Campbell, John A. [Sonstige Person, Familie und Körperschaft]

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Erschienen in: Lecture notes in computer science ; 3249
Buchberger, Bruno [VerfasserIn] ; Campbell, John [Sonstige Person, Familie und Körperschaft]

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

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2004

Erschienen in: Lecture notes in computer science ; 324900

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr