Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
JKU & KUK Forschungsportal Home
Hilfe und FAQ
!!Link opens in a new tab
English
Deutsch
Inhalt suchen unter JKU & KUK Forschungsportal
Home
Forschungseinheiten
Personen
Publikationen
Projekte
Aktivitäten
Forschungsdatensätze
Auszeichnungen
Presseberichte
Verified Algorithm Development by Lazy Thinking
Buchberger, B.
(Vortragende*r)
Institut für Symbolisches Rechnen
Aktivität
:
Vortrag oder Präsentation
›
Eingeladener Vortrag
›
unbekannt
Zeitraum
05 März 2003
Ereignistitel
Workshop on Computer Algebra, Research Institute of Mathematical
Veranstaltungstyp
Konferenz
Ort
Japan
Auf Karte anzeigen
Wissenschaftszweige
101013 Mathematische Logik
101001 Algebra
101012 Kombinatorik
101020 Technische Mathematik
101 Mathematik
101009 Geometrie
101005 Computeralgebra