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.

13543 Publications

1997 | Conference Paper | LibreCat-ID: 7841
R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, “Integrating the Specification Techniques of Graph Transformation and Temporal Logic,” in Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), 1997, pp. 219–228.
LibreCat | DOI

1997 | Conference Paper | LibreCat-ID: 11855
D. Langmann, F. Wuppermann, R. Haeb-Umbach, A. Fischer, and T. Eisele, “Investigation of Acoustic Front Ends for Speaker-Independent Speech Recognition in the Car,” in Aachener Kolloquium on Signal Theory, 1997.

1997 | Book Review | LibreCat-ID: 17779
V. Peckhaus, “Jarmo Pulkkinen, The Threat of Logical Mathematism. A Study on the Critique of Mathematical Logic in Germany at the Turn of the 20th Century, Peter Lang: Frankfurt a.M. 1994 (= Scandinavian University Studies in the Humanities and Social Sciences; 7),” History and Philosophy of Logic, vol. 18. pp. 115–120 (Essay Review), 1997.

1997 | Book Review | LibreCat-ID: 18198
V. Peckhaus, “Jourdain, P.E.B., Selected Essays on the History of Set Theory and Logics (1906–1918), hg. v. I. Grattan-Guinness, CLUEB: Bologna 1991,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 853.01037]. 1997.

1997 | Journal Article | LibreCat-ID: 1445
A. Baratloo, M. Karaul, H. Karl, and Z. M. Kedem, “KnittingFactory: An Infrastructure for Distributed Web Applications,” Technical Report, 1997.
LibreCat | Files available

1997 | Journal Article | LibreCat-ID: 15571
R. Hagengruber, “La fondazione del punto matematico nella filosofia di Tommaso Campanella,” Bruniana & Campanelliana, vol. 3, no. 1, pp. 77–92, 1997.
LibreCat | Download (ext.)

1997 | Journal Article | LibreCat-ID: 8107
S. Krauter, “Lernen über das World–Wide–Web am Beispiel der Sonnenenergienutzung,” Telelearning: Aufgabe und Chance für Bildung und Gesellschaft, pp. 149–150, 1997.

1997 | Book | LibreCat-ID: 17447
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert. Berlin: Akademie-Verlag, 1997.

1997 | Report | LibreCat-ID: 8201
R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, Loose Semantics and Constraints for Graph Transformation Systems. 1997.

1997 | Dissertation | LibreCat-ID: 7348
H.-H. Kremer, Medienentwicklung - Theoretische Modellierung und fachdidaktisch ausgerichtete Anwendung. Köln, 1997.

Filters and Search Terms



Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: IEEE

Export / Embed