@inbook{17527,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{A Boole Anthology. Recent and Classical Studies in the Logic of George Boole}},
  editor       = {{Gasser, James}},
  pages        = {{271--285}},
  publisher    = {{Kluwer Academic Publishers}},
  title        = {{{Was George Boole Really the ‘Father’ of Modern Logic?}}},
  volume       = {{219}},
  year         = {{2000}},
}

@inbook{17524,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{The Growth of Mathematical Knowledge}},
  editor       = {{Grosholz, Emily and Breger, Herbert}},
  pages        = {{363--376}},
  publisher    = {{Kluwer Academic Publishers}},
  title        = {{{Scientific Progress and Changes of Order Hierarchies of Scientific Disciplines}}},
  volume       = {{289}},
  year         = {{2000}},
}

@inbook{17526,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{The Sociology of Philosophical Knowledge}},
  editor       = {{Kusch, Martin}},
  pages        = {{179--191}},
  publisher    = {{Kluwer Academic Publishers}},
  title        = {{{The Contextualism of Philosophy}}},
  volume       = {{48}},
  year         = {{2000}},
}

@misc{25256,
  author       = {{Reis, Oliver}},
  title        = {{{Kohlberg als Schlüssel zum ethischen Lernen im Religionsunterricht? Überlegungen zum Entwicklungsgedanken in der Moralerziehung}}},
  year         = {{2000}},
}

@inbook{40102,
  author       = {{Schmitz, Sabine}},
  booktitle    = {{Galdós y el 98. Actas del VI Congreso Internacional Galdosiano }},
  pages        = {{1033--1044}},
  publisher    = {{Ediciones del Cabildo Insular de Gran Canaria/ Casa Museo Galdós}},
  title        = {{{La estética de Benito Pérez Galdós ante el impacto del positivismo- ¿Perfecto fiel de balanza entre la exactitud y la belleza de la reproducción?}}},
  year         = {{2000}},
}

@book{40105,
  author       = {{Schmitz, Sabine}},
  isbn         = {{9783484550339}},
  pages        = {{341}},
  publisher    = {{Niemeyer}},
  title        = {{{Spanischer Naturalismus: Entwurf eines Epochenprofils im Kontext des "Krausopositivismo"}}},
  year         = {{2000}},
}

@inbook{39815,
  author       = {{Schmitz, Sabine}},
  booktitle    = {{Federico II de Prusia y los Españoles}},
  editor       = {{Lope, Hans-Joachim}},
  pages        = {{123--140}},
  publisher    = {{Peter Lang}},
  title        = {{{En busca de alusiones a la literatura española en la correspondencia de Federico II o la transformación de un Rey prusiano en un Don Quijote del Norte}}},
  year         = {{2000}},
}

@article{27935,
  author       = {{Bigga, Regine}},
  journal      = {{awt-info }},
  pages        = {{20--28}},
  title        = {{{Fünf vor zwölf und keinen Ausbildungsplatz. Eine Unterrichtsskizze zur Berufsorientierung. }}},
  volume       = {{2}},
  year         = {{2000}},
}

@inbook{37370,
  author       = {{Weber, Jutta}},
  booktitle    = {{Subjekt und Erkenntnis. Einsichten in feministische Theoriebildungen}},
  pages        = {{127--140}},
  publisher    = {{Leske & Budrich}},
  title        = {{{Geschichte wird gemacht: Selbst- und Fremdkategorisierungen feministischer Theorie}}},
  year         = {{2000}},
}

@misc{37565,
  author       = {{Grotjahn, Rebecca}},
  booktitle    = {{Die Musik in Geschichte und Gegenwart. Bd. 4}},
  editor       = {{Finscher, Ludwig}},
  publisher    = {{Bärenreiter/Metzler}},
  title        = {{{Catalani, Angelica}}},
  year         = {{2000}},
}

@misc{37568,
  author       = {{Grotjahn, Rebecca}},
  booktitle    = {{Die Musik in Geschichte und Gegenwart. Bd. 4}},
  editor       = {{Finscher, Ludwig}},
  publisher    = {{Bärenreiter/Metzler}},
  title        = {{{Catalani, Angelica}}},
  year         = {{2000}},
}

@misc{37570,
  author       = {{Grotjahn, Rebecca}},
  booktitle    = {{Die Musik in Geschichte und Gegenwart. Bd. 4}},
  editor       = {{Finscher, Ludwig}},
  publisher    = {{Bärenreiter/Metzler}},
  title        = {{{Colbran, Isabella}}},
  year         = {{2000}},
}

@inproceedings{39434,
  abstract     = {{In diesem Artikel stellen wir die Anwendung von Modellprüfung für ein
Fertigungssystem mit freifahrenden Transportfahrzeugen vor. Dabei konzentrieren wir
uns darauf, den Materialfluss in einem Systemmodell auf die Einhaltung quantitativer
und zeitlicher Bedingungen hin zu überprüfen. Zur Modellentwicklung setzen wir die
graphische Beschreibungsmethode MFERT ein, die sich bereits mehrfach in
Industrieprojekten bewährt hat. Wir präsentieren eine Abbildung von MFERT in
zeitannotierte Zustandsübergangssysteme, die für ein bereits existierendes Werkzeug zur
Modellprüfung als Eingabe einer Modellbeschreibung dienen. Bei der Modellprüfung
wird diese Beschreibung auf die Einhaltung von Eigenschaften überprüft, die in einer
temporalen Logik oder einer davon abstrahierten Form spezifiziert werden.}},
  author       = {{Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}},
  title        = {{{Modellprüfung für den Entwurf von Fertigungssteuerungssystemen}}},
  year         = {{2000}},
}

@inproceedings{39444,
  abstract     = {{Prototyping mit 3D-Modellen in virtueller Umgebung ist eine kostengünstige Alternative zur Entwicklung von physikalischen Modellen und Mock-ups. Für einige Anwendungen ergeben sich erhebliche Vorteile durch die Validierung in einer virtuellen Umgebung. In diesem Artikel stellen wir den Einsatz einer 3D-Animation zur Entwicklung und zum Test einer Fahrzeugsteuerung vor. Basierend auf dem Prinzip der schrittweisen Verfeinerung kann die Steuerung zunächst nur unter Berücksichtigung der Kommunikation zwischen den Basiskomponenten entworfen werden. Im zweiten Schritt wird die Ansteuerung der Aktoren unter Auswertung der Sensoren berücksichtigt. Letztendlich ist das System unter Einflussnahme der physikalischen Größen zu validieren. Wir stellen die Schnittstelle exemplarisch anhand einer Steuerung für fahrerlose Transportfahrzeuge im Szenario eines holonischen Transportsystems vor. }},
  author       = {{Braatz, A. and Flake, Stephan and Müller, Wolfgang and Westkämper, E.}},
  title        = {{{Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung}}},
  year         = {{2000}},
}

@inproceedings{39461,
  abstract     = {{Model checking has received wide acceptance as a valuable technique in the field of electronic
design automation and is currently of growing interest in general systems design. Though its
concepts and applications are well understood it often turns out that engineers have severe
problems with the specification process and the underlying notation, i.e., formulation and
understanding of specifications through means of temporal logic formulae. In this article, we
present an approach for a natural language–oriented representation of temporal logic formulae
by introducing patterns of structured English sentences for Clocked CTL (CCTL) specification.
After outlining the basic patterns of the sentences we give their semantics by a translation to
CCTL. A final example demonstrates their application.}},
  author       = {{Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}},
  title        = {{{Structured English for Model Checking Specification}}},
  year         = {{2000}},
}

@article{39681,
  author       = {{Morrien, Rita}},
  journal      = {{Jahrbuch zur Literatur der Weimarer Republik }},
  pages        = {{145--165}},
  title        = {{{Nach dem Sturm: Mütterlichkeit, Sexualität und Ansätze einer kritischen Relektüre der christlichen Schöpfungs- und Heilsgeschichte bei Clara Viebig und Gabriele Reuter}}},
  volume       = {{5}},
  year         = {{2000}},
}

@article{39680,
  author       = {{Morrien, Rita}},
  journal      = {{Aurora}},
  pages        = {{147--162}},
  title        = {{{“O du ewige, unbegreifliche Schönheit [...], wie roh gehn auch mit dir die Menschen um” – Die Poesie der Gewalt in Ludwig Tiecks Vittoria Accorombona (1840)}}},
  volume       = {{60}},
  year         = {{2000}},
}

@article{38393,
  author       = {{Hinz, S and Sandel, D and Noé, Reinhold and Wust, F}},
  issn         = {{0013-5194}},
  journal      = {{ELECTRONICS LETTERS}},
  number       = {{16}},
  pages        = {{1402--1403}},
  title        = {{{Optical NRZ 2 x 10Gbit/s polarisation division multiplex transmission with endless polarisation control driven by correlation signals}}},
  doi          = {{10.1049/el:20001002}},
  volume       = {{36}},
  year         = {{2000}},
}

@book{36301,
  abstract     = {{Die Publikation stellt einen Beitrag zur öffentlichen Relevanz der Erziehungswissenschaften dar. Renommierte Vertreterinnen und Vertreter hatten sich im Rahmen einer studentisch initierten Veranstaltungsreihe am Erziehungswissenschaftlichen Seminar der Universität Heidelberg geäußert: AG "Kleiner Bildungsgipfel", Micha Brumlik, Ingrid Gogolin, Franz Hamburger, Elke Kleinau, Eckard König, Heinz Sünker, Hans Thiersch, Heinz-Elmar Tenorth, Michael Winkler, Dieter Wunder. Aus dem ·Die deutschen Erziehungswissenschaften - eine Geschichte von Ablehnung und Anerkennung ·Bildung und Gesellschaft: Erziehungswissenschaft als Sozialwissenschaft ·Pädagogik als Humanwissenschaft ·Wer erzieht die Erzieher? Lehrerbildung und Schulentwicklung ·Die Herausgeber sind Mitarbeiter erziehungswissenschaftlicher Forschungsprojekte und pädagogischer Einrichtungen}},
  editor       = {{Böhme, Peter and Kessl, Fabian and Heil, Ragnar and Reinke, Thilo}},
  isbn         = {{ ISBN-13 ‏ : ‎ 978-3407253361 }},
  keywords     = {{Sozialwissenschaft, Pädagogik, Erziehungswissenschaft, Lehrerbildung, Schulentwicklung}},
  publisher    = {{Luchterhand Verlag}},
  title        = {{{Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion}}},
  year         = {{2000}},
}

@inproceedings{39435,
  abstract     = {{This article presents SAL (Synchronous Agent Language), a general-purpose grid{based 2D programming language for parallel system specication, implementation, and visualization. SAL agents have a depiction and a behavior. The behavior is dened by the means of state transition rules. The depiction is given by the drawing area on its surface. Actions in rules can execute drawing operations for dynamically changing the depiction during runtime. For a broader range of applications, SAL incorporates mobile code, code modication during runtime, and tool integration facilities.}},
  author       = {{Müller, Wolfgang and Meyer, Arne and Zabel, Henning}},
  booktitle    = {{Proceedings of the IEEE Symposium on Visual Languages}},
  title        = {{{A Visual Framework for the Scripting of Parallel Agents}}},
  year         = {{2000}},
}