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

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...

Mathematikunterricht im 5. bis 11. Schuljahr Transskripte zum Projekt 'Routinen im Mathematikunterricht'

Voigt, J. (ed.)
Bielefeld Univ. (Germany). Inst. fuer Didaktik der Mathematik

January 1983

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

Implementierungsstrategien fuer wissensbasierte Unterstuetzungssysteme in Versicherungsunternehmen

Bechtolsheim, M. v. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. (GMD), Koeln (Germany). Forschungsstelle fuer Informationswirtschaft)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1989

Copy held by FIZ Karlsruhe / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Information...

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...

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...

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...

Didaktischer Informationsdienst Mathematik Thema: Arithmetik, Algebra und Funktionen

Andelfinger, B.
Landesinstitut fuer Schule und Weiterbildung, Soest (Germany)

January 1985

Copy held by FIZ Karlsruhe / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Information...

Quellensammlung zu: Didaktischer Informationsdienst Mathematik Thema: Arithmetik, Algebra und Funktionen

Andelfinger, B.
Zuckett-Peerenboom, R.D. (comps.)
Landesinstitut fuer Schule und Weiterbildung, Soest (Germany)

January 1984

Copy held by FIZ Karlsruhe / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Information...

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...

Quellensammlung zu: Didaktischer Informationsdienst Mathematik. Thema: Arithmetik, Algebra und Funktionen

Andelfinger, B.
Zuckett-Peerenboom, R.D. (comps.)
Landesinstitut fuer Schule und Weiterbildung, Soest (Germany)

January 1985

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

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

Matheis, H.
Kaiserslautern Univ. (Germany, F.R.). Fachbereich Informatik

January 1984

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

Mathematische Grundlagen der Zuverlaessigkeitsmethode erster Ordnung, und einige Erweiterungen

Hohenbichler, M.

January 1984

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

Arten des Programmierens und Programmiersprachen - ihr Stellenwert im Mathematikunterricht

Loethe, H.
Paedagogische Hochschule Esslingen (Germany, F.R.)

January 1983

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...

Mathematikunterricht im 5. bis 11. Schuljahr Transskripte zum Projekt 'Routinen im Mathematikunterricht'

Voigt, J. (ed.)
Bielefeld Univ. (Germany). Inst. fuer Didaktik der Mathematik

January 1983

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

Implementierungsstrategien fuer wissensbasierte Unterstuetzungssysteme in Versicherungsunternehmen

Bechtolsheim, M. v. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. (GMD), Koeln (Germany). Forschungsstelle fuer Informationswirtschaft)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1989

Copy held by FIZ Karlsruhe / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Information...

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...

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...

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...

Didaktischer Informationsdienst Mathematik Thema: Arithmetik, Algebra und Funktionen

Andelfinger, B.
Landesinstitut fuer Schule und Weiterbildung, Soest (Germany)

January 1985

Copy held by FIZ Karlsruhe / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Information...

Quellensammlung zu: Didaktischer Informationsdienst Mathematik Thema: Arithmetik, Algebra und Funktionen

Andelfinger, B.
Zuckett-Peerenboom, R.D. (comps.)
Landesinstitut fuer Schule und Weiterbildung, Soest (Germany)

January 1984

Copy held by FIZ Karlsruhe / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Information...

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...

Quellensammlung zu: Didaktischer Informationsdienst Mathematik. Thema: Arithmetik, Algebra und Funktionen

Andelfinger, B.
Zuckett-Peerenboom, R.D. (comps.)
Landesinstitut fuer Schule und Weiterbildung, Soest (Germany)

January 1985

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

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

Matheis, H.
Kaiserslautern Univ. (Germany, F.R.). Fachbereich Informatik

January 1984

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

Mathematische Grundlagen der Zuverlaessigkeitsmethode erster Ordnung, und einige Erweiterungen

Hohenbichler, M.

January 1984

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

Arten des Programmierens und Programmiersprachen - ihr Stellenwert im Mathematikunterricht

Loethe, H.
Paedagogische Hochschule Esslingen (Germany, F.R.)

January 1983

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...

Mathematikunterricht im 5. bis 11. Schuljahr Transskripte zum Projekt 'Routinen im Mathematikunterricht'

Voigt, J. (ed.)
Bielefeld Univ. (Germany). Inst. fuer Didaktik der Mathematik

January 1983

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

Implementierungsstrategien fuer wissensbasierte Unterstuetzungssysteme in Versicherungsunternehmen

Bechtolsheim, M. v. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. (GMD), Koeln (Germany). Forschungsstelle fuer Informationswirtschaft)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1989

Copy held by FIZ Karlsruhe / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Information...

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

Abstract

Extracted data

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

Abstract

Extracted data

Related items

Related items