Similarity based lemma generation with lemma delaying tableaux enumeration

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
21 cm
Umfang
31 S.
Sprache
Englisch

Erschienen in
SFB-Bericht / A / Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen ; Nr. 97,26, Reihe A

Ereignis
Veröffentlichung
(wo)
München
(wer)
SFB 342
(wann)
1997
Urheber
Fuchs, Marc

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:55 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Fuchs, Marc
  • SFB 342

Entstanden

  • 1997

Ähnliche Objekte (12)

Lemma I. - Lemma III.

Abschnitt

Lemma I. - Lemma III.

Lemma

Kapitel

Lemma

Lemma.

Abschnitt

Lemma.

Lemma.

Kapitel

Lemma.

Lemma Tertium

Kapitel

Lemma Tertium

Lemma Primum

Kapitel

Lemma Primum

Lemma I.

Kapitel

Lemma I.

Lemma II.

Kapitel

Lemma II.

Lemma Secundum

Kapitel

Lemma Secundum

Das Spernersche Lemma

zweidimensionales bewegtes Bild

Das Spernersche Lemma

Lemma I - II.

Abschnitt

Lemma I - II.

Das Farkas-Lemma

zweidimensionales bewegtes Bild

Das Farkas-Lemma

Verbundene Objekte