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.

13162 Publications


1996 | Conference Paper | LibreCat-ID: 8275
Heckel, Reiko, et al. “Automatic Integration of Safety Invariants into Z Specifications.” Proceedings of the Workshop on Tools for System Development and Verifcation, vol. 1, Shaker Verlag, 1996, pp. 70–83.
LibreCat | Download (ext.)
 

1996 | Book Chapter | LibreCat-ID: 8403
Kremer, H. Hugo. “Existenzgründung.” Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing , edited by H.-Hugo Kremer and E. Stickling, 1996, pp. 1–30.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16896
Volbracht, S., et al. “An Experimental Comparison of 3D Display Modes.” Proceedings of IEEE Visualization , 1996, pp. 8–11.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev, Dima, et al. “A Lower Bound for Randomized Algebraic Decision Trees.” Proc. of 28th ACM-STOC, vol. 65453, Eurographics Symposium on Parallel Graphics and Visualization, 1996, pp. 612–21.
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17642
Peckhaus, Volker. “Wiener [Ludwig Christian].” Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, edited by Jürgen Mittelstraß, J.B. Metzler, 1996, pp. 693–94.
LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17844
Peckhaus, Volker. “Die Wurzeln der deutschen Algebra der Logik.” Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena, 1996, p. 196.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17919
Peckhaus, Volker. “Puhl, Klaus (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Witt-Genstein-Symposium, 16–23 August 1992, Kirchberg Am Wechsel, Austria, Part 2, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe Der Wittgenstein-Gesellschaft; 20/II).” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.00023], Zbl. 836.00023, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17921
Peckhaus, Volker. “Quesada, Daniel, ‘State of Affairs and the Evolution of Carnap’s Semantics’, Logique & Analyse Nouv. Sér. 36 (1993), 149–157.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.01018], Zbl. 836.01018, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17940
Peckhaus, Volker. “Dathe, Uwe, „Gottlob Frege Und Rudolf Eucken — Gesprächspartner in Der Herausbildungsphase Der Modernen Logik“, History and Philosophy of Logic 16 (1995), 245–255.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 846.01006], Zbl. 846.01006, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17926
Peckhaus, Volker. “Karl, Birgit, „Einführung Des Begriffes ,Topologie‘ in Die Mathematik Durch J.B. Listing Im Jahre 1847“, in: Czermak (Hg.) 1993 [9.4], 60–66.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 840.01019], Zbl. 840.01019, 1996.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed