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
Matching with Regular Constraints
Kutsia, T.
(Vortragende*r)
Institut für Symbolisches Rechnen
Aktivität
:
Vortrag oder Präsentation
›
Eingeladener Vortrag
›
unbekannt
Zeitraum
16 März 2006
Ereignistitel
SCORE Workshop on Proving and Solving
Veranstaltungstyp
Sonstiges
Ort
Japan
Auf Karte anzeigen
Wissenschaftszweige
101013 Mathematische Logik
101001 Algebra
101012 Kombinatorik
101020 Technische Mathematik
101 Mathematik
101009 Geometrie
101005 Computeralgebra