Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
JKU & KUK Forschungsportal Home
Hilfe und FAQ
Link wird in einem neuen Tab geöffnet
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
07 März 2003
Ereignistitel
Colloquium talk
Veranstaltungstyp
Sonstiges
Ort
Japan
Auf Karte anzeigen
Wissenschaftszweige
101013 Mathematische Logik
101001 Algebra
101012 Kombinatorik
101020 Technische Mathematik
101 Mathematik
101009 Geometrie
101005 Computeralgebra