Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1157 Publications
1996 | Book Review | LibreCat-ID: 17956 | 
Casati, Roberto/Smith, Barry/White, Graham (Hgg.), Philosophy of the Cognitive Sciences. Proceedings of the 16th International Wittgenstein-Symposium, 15–22 August 1993, Kirchberg am Wechsel, Austria, Hölder-Pichler-Tempsky: Wien 1994 (= Schriftenreihe der Wittgenstein-Gesellschaft; 21)
V. Peckhaus, zbMATH Open, Zbl. 0849.00032 (1996).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0849.00032 (1996).
1996 | Book Review | LibreCat-ID: 17913 |
Franchella, Miriam, “L.E.J. Brouwer: Toward Intuitionistic Logic”, Historia Mathematica 22 (1995), 304–322
V. Peckhaus, zbMATH Open, Zbl. 0833.01017 (1996).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0833.01017 (1996).
1996 | Book Review | LibreCat-ID: 17950 |
De Caro, Mario, “Galileo’s Mathematical Platonism”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 13–22
V. Peckhaus, zbMATH Open, Zbl. 0849.00015 (1996).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0849.00015 (1996).
1996 | Journal Article | LibreCat-ID: 27950
Sicherheitserziehung - ein Thema für den Arbeitslehreunterricht.
R. Bigga, ARBEIT UND TECHNIK in der Schule 10 (1996) 386–387.
LibreCat
R. Bigga, ARBEIT UND TECHNIK in der Schule 10 (1996) 386–387.
1996 | Conference Paper | LibreCat-ID: 39526
Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing
C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, J. Quintanilla, C. Tahedl, A. Weber, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, CO, USA, 1996.
LibreCat
| DOI
C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, J. Quintanilla, C. Tahedl, A. Weber, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, CO, USA, 1996.
1995 | Report | LibreCat-ID: 8196
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
G. Engels, A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types, Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
G. Engels, A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types, Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
1995 | Conference Paper | LibreCat-ID: 8269
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
G. Engels, A. Schürr, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, Amsterdam, The Netherlands, 1995, pp. 101–109.
LibreCat
| DOI
G. Engels, A. Schürr, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, Amsterdam, The Netherlands, 1995, pp. 101–109.
1995 | Journal Article | LibreCat-ID: 27953
Computergestützte Intervention bei Rechtschreibschwäche: Effekte eines kognitions- und lernpsychologisch orientierten Trainingsprogramms auf Morphembasis bei sehr schwachen Sonderschülern.
J. Walther, R. Bigga, H. Bischof, Sonderpädagogik 1 (1995) 4–22.
LibreCat
J. Walther, R. Bigga, H. Bischof, Sonderpädagogik 1 (1995) 4–22.
1995 | Conference Paper | LibreCat-ID: 39538
Complete Visual Specification and Animations of Protocols
W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.
LibreCat
| DOI
W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.
1994 | Conference Paper | LibreCat-ID: 3263
Weak Sequential Composition in Process Algebras
A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat
| DOI
A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
1994 | Journal Article | LibreCat-ID: 17489
Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen
V. Peckhaus, Modern Logic 4 (1994) 357–381.
LibreCat
V. Peckhaus, Modern Logic 4 (1994) 357–381.
1994 | Book | LibreCat-ID: 27958
Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht.
R. Bigga, F. Braun, L. Hoffmann, Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht. , Kiel, 1994.
LibreCat
R. Bigga, F. Braun, L. Hoffmann, Die Gleichstellung der Geschlechter im Lehrplan. Anregungen für Schule und Unterricht. , Kiel, 1994.
1994 | Book | LibreCat-ID: 27961
Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre
G. Tornieporth, R. Bigga, Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre, Hohengehren , 1994.
LibreCat
G. Tornieporth, R. Bigga, Erwerbsarbeit - Hausarbeit. Strukturwandel der Arbeit als Herausforderung an das Lernfeld Arbeitslehre, Hohengehren , 1994.
1994 | Book Chapter | LibreCat-ID: 37582
Ergebnisse aus dem Projekt Mädchen & junge Frauen in der Arbeitswelt
R. Bigga, in: G. Tornieporth, R. Bigga (Eds.), Erwerbsarbeit - Hausarbeit. Strukturwandel Der Arbeit Als Herausforderung an Das Lernfeld Der Arbeitslehre, Schneider Verlag, Hohengehren, 1994, pp. 154–180.
LibreCat
R. Bigga, in: G. Tornieporth, R. Bigga (Eds.), Erwerbsarbeit - Hausarbeit. Strukturwandel Der Arbeit Als Herausforderung an Das Lernfeld Der Arbeitslehre, Schneider Verlag, Hohengehren, 1994, pp. 154–180.
1994 | Conference Paper | LibreCat-ID: 39560
FADE: A Layout Facility for Graph-Based Diagrams
J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.
LibreCat
J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.
1993 | Conference Abstract | LibreCat-ID: 17831
The Development of Ernst Schröder’s Attitude towards Logic [Abstract]
V. Peckhaus, in: M. Hormigon, E. Ausejo, J. Dhombres (Eds.), XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia, o.O.u.J. (Zaragoza), 1993.
LibreCat
V. Peckhaus, in: M. Hormigon, E. Ausejo, J. Dhombres (Eds.), XIXth International Congress of History of Science. 22–29 August 1993 Zaragoza (Spain). Book of Abstracts Symposia, o.O.u.J. (Zaragoza), 1993.
1993 | Conference Abstract | LibreCat-ID: 17829
Leibniz’ ,Mathesis universalis‘ und die Mathematiker des 19. Jahrhunderts [Abstract]
V. Peckhaus, in: M. Toepell (Ed.), Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal, München, 1993, pp. 30–31.
LibreCat
V. Peckhaus, in: M. Toepell (Ed.), Fachsektion Geschichte der Mathematik der Deutschen Mathematiker-Vereinigung. Sektionstagung vom 22. bis 26. März 1993 in Wuppertal, München, 1993, pp. 30–31.
1992 | Journal Article | LibreCat-ID: 7409
Building Integrated Software Development Environments, Part I: Tool Specification
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, A. Schürr, ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (1992) 135–167.
LibreCat
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, A. Schürr, ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (1992) 135–167.
1992 | Journal Article | LibreCat-ID: 37467
Forschungsergebnisse zur Geschlechterfrage - Konsequenzen für die Gestaltung von Unterricht sowie für die Aus- und Weiterbildung von Lehrkräften
R. Bigga, Lehrplanrevision in Schleswig-Holstein (1992) 69–78.
LibreCat
R. Bigga, Lehrplanrevision in Schleswig-Holstein (1992) 69–78.
1991 | Journal Article | LibreCat-ID: 19438
Die deutschsprachige Literatur Osteuropas und ihre Rezeption in der Bundesrepublik. Probleme und Chancen einer 'kleinen Literatur'
N.O. Eke, Deutsche Studien 29 29 (1991) 30–50.
LibreCat
N.O. Eke, Deutsche Studien 29 29 (1991) 30–50.