Ein interaktives und syntaxorientiertes Eingabesystem fuer algebraische Spezifikationen. Bd. 1

Richter, M.M.
Triesch, E.
Technische Hochschule Aachen (Germany, F.R.)

January 1981

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Ansaetze fuer eine Theorie zur Animation von Algebraischen Spezifikationen

Rieckhoff, C.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1991

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Halbordnungen und maximale Teilkoerper in gelochten algebraisch-abgeschlossenen Koerpern. - Projektive Einbettung angeordneter Raeume

Groeger, D.
Soerensen, K.
Muenchen Technische Univ. (Germany). Inst. fuer Mathematik

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Algebraische Spezifikation und Korrektheit von Compilern

Grude, U.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1985

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Beispiele algebraischer Reduktionsstrukturen

Zimnol, M.

January 1987

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Algebraische Spezifikation in UNIVERS am Beispiel der Struktur eines Versionsgraphen

Reisin, M. (Berlin Technische Univ. (Germany). Inst. fuer Angewandte Informatik)
Loewe, M.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1985

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden

Rieckhoff, C.

January 1985

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Einige Beispiele algebraischer Spezifikationen und Implementierungen. T. 5 (Endliche, bijektive Paarmengen)

Grude, U. (Technische Univ. Berlin (Germany, F.R.). Inst. fuer Angewandte Informatik)
Technische Univ. Berlin (Germany, F.R.). Fachbereich 20 - Informatik

January 1984

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

Charakteristische Zugaenge zu den Begriffen der Linearen Algebra am Beispiel von Determinante und Skalarprodukt

Reiffert, H. (Edith Stein Schule, Darmstadt (Germany, F.R.))
Artmann, B.
Technische Hochschule Darmstadt (Germany, F.R.). Fachbereich 4 - Mathematik

January 1984

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

Ebene algebraische Kurven

Kunz, E.
Regensburg Univ. (Germany). Naturwissenschaftliche Fakultaet 1 - Mathematik

January 1991

SIGLEAvailable from FIZ Karlsruhe / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Info...

Algebraische Termumformungen in der Sekundarstufe I Abschlussbericht eines Forschungsprojektes

Krummheuer, G.
Bielefeld Univ. (Germany). Inst. fuer Didaktik der Mathematik

January 1983

With many refsCopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszze...

Algebraische Zykel auf Hilbertschen Modulflaechen

Koehl, J.

January 1987

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Skript zur linearen Algebra. Bd. 2

Fischer, H.W.
Gamst, J.
Horneffer, K.
Bremen Univ. (Germany). Fachbereich Mathematik und Informatik

January 1984

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Ein algebraisches Objektrekonstruktionsverfahren fuer die interstellare Molekuelspektroskopie

Reich, M.

January 1987

SIGLETIB Hannover: DR 99 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Introduction to algebraic specification in ACT TWO

Fey, W.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Universelle Algebra

Richter, M.M.
Triesch, E.
Technische Hochschule Aachen (Germany, F.R.)

January 1981

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Ansaetze fuer eine Theorie zur Animation von Algebraischen Spezifikationen

Rieckhoff, C.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1991

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Halbordnungen und maximale Teilkoerper in gelochten algebraisch-abgeschlossenen Koerpern. - Projektive Einbettung angeordneter Raeume

Groeger, D.
Soerensen, K.
Muenchen Technische Univ. (Germany). Inst. fuer Mathematik

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Algebraische Spezifikation und Korrektheit von Compilern

Grude, U.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1985

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Beispiele algebraischer Reduktionsstrukturen

Zimnol, M.

January 1987

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Algebraische Spezifikation in UNIVERS am Beispiel der Struktur eines Versionsgraphen

Reisin, M. (Berlin Technische Univ. (Germany). Inst. fuer Angewandte Informatik)
Loewe, M.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1985

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden

Rieckhoff, C.

January 1985

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Einige Beispiele algebraischer Spezifikationen und Implementierungen. T. 5 (Endliche, bijektive Paarmengen)

Grude, U. (Technische Univ. Berlin (Germany, F.R.). Inst. fuer Angewandte Informatik)
Technische Univ. Berlin (Germany, F.R.). Fachbereich 20 - Informatik

January 1984

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

Charakteristische Zugaenge zu den Begriffen der Linearen Algebra am Beispiel von Determinante und Skalarprodukt

Reiffert, H. (Edith Stein Schule, Darmstadt (Germany, F.R.))
Artmann, B.
Technische Hochschule Darmstadt (Germany, F.R.). Fachbereich 4 - Mathematik

January 1984

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

Ebene algebraische Kurven

Kunz, E.
Regensburg Univ. (Germany). Naturwissenschaftliche Fakultaet 1 - Mathematik

January 1991

SIGLEAvailable from FIZ Karlsruhe / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Info...

Algebraische Termumformungen in der Sekundarstufe I Abschlussbericht eines Forschungsprojektes

Krummheuer, G.
Bielefeld Univ. (Germany). Inst. fuer Didaktik der Mathematik

January 1983

With many refsCopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszze...

Algebraische Zykel auf Hilbertschen Modulflaechen

Koehl, J.

January 1987

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Skript zur linearen Algebra. Bd. 2

Fischer, H.W.
Gamst, J.
Horneffer, K.
Bremen Univ. (Germany). Fachbereich Mathematik und Informatik

January 1984

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Ein algebraisches Objektrekonstruktionsverfahren fuer die interstellare Molekuelspektroskopie

Reich, M.

January 1987

SIGLETIB Hannover: DR 99 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Introduction to algebraic specification in ACT TWO

Fey, W.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Universelle Algebra

Richter, M.M.
Triesch, E.
Technische Hochschule Aachen (Germany, F.R.)

January 1981

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Ansaetze fuer eine Theorie zur Animation von Algebraischen Spezifikationen

Rieckhoff, C.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1991

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Halbordnungen und maximale Teilkoerper in gelochten algebraisch-abgeschlossenen Koerpern. - Projektive Einbettung angeordneter Raeume

Groeger, D.
Soerensen, K.
Muenchen Technische Univ. (Germany). Inst. fuer Mathematik

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Ein interaktives und syntaxorientiertes Eingabesystem fuer algebraische Spezifikationen. Bd. 1

Abstract

Extracted data

Ein interaktives und syntaxorientiertes Eingabesystem fuer algebraische Spezifikationen. Bd. 1

Abstract

Extracted data

Related items

Related items