en
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.
13550 Publications
1997 | Conference Paper | LibreCat-ID: 15290
Hierarchical propagation of uncertain constraints
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1997, pp. 953–957.
LibreCat
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1997, pp. 953–957.
1997 | Book Review | LibreCat-ID: 18204
Hintikka, Jaakko, The Principles of Mathematics Revisited, Cambridge University Press: Cambridge 1996
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 869.03003] (1997).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 869.03003] (1997).
1997 | Book Review | LibreCat-ID: 18200
Hon, Giora, “Completeness has to be Restricted”, in: Petr Hájek (ed.), Gödel '96. Logical Foundations of Mathematics, Computer Science and Physics — Kurt Gödel’s Legacy. Proceedings of a Conference, Brno, Czech Republic, August 1996, Springer-Verlag: Berlin 1996 (= Lect. Notes Log.; 6), 214–223
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 856.01020] (1997).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 856.01020] (1997).
1997 | Conference Paper | LibreCat-ID: 15034
How effective are 3D display modes?
S. Volbracht, G. Domik, K. Shahrbabaki, G. Fels, in: Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems, 1997, pp. 540–541.
LibreCat
S. Volbracht, G. Domik, K. Shahrbabaki, G. Fels, in: Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems, 1997, pp. 540–541.
1997 | Book Chapter | LibreCat-ID: 7516
How to represent a visual specification
G. Engels, J. Rekers, M. Andries, in: Visual Language Theory, Springer, Berlin/Heidelberg, 1997, pp. 241–255.
LibreCat
G. Engels, J. Rekers, M. Andries, in: Visual Language Theory, Springer, Berlin/Heidelberg, 1997, pp. 241–255.
1997 | Book Review | LibreCat-ID: 18209
Ibarra, Andoni/Mormann, Thomas, “Structural Analogies between Mathematical and Empirical Theories”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 31–46
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 874.00011] (1997).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 874.00011] (1997).
1997 | Conference Paper | LibreCat-ID: 8904
Improved reliability of bladed disks due to friction dampers
W. Sextro, K. Popp, I. Wolter, in: The 1997 International Gas Turbine \& Aeroengine Congress \& Exposition, 1997.
LibreCat
W. Sextro, K. Popp, I. Wolter, in: The 1997 International Gas Turbine \& Aeroengine Congress \& Exposition, 1997.
1997 | Conference Paper | LibreCat-ID: 7841
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228.
LibreCat
| DOI
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228.
1997 | Conference Paper | LibreCat-ID: 11855
Investigation of Acoustic Front Ends for Speaker-Independent Speech Recognition in the Car
D. Langmann, F. Wuppermann, R. Haeb-Umbach, A. Fischer, T. Eisele, in: Aachener Kolloquium on Signal Theory, 1997.
LibreCat
D. Langmann, F. Wuppermann, R. Haeb-Umbach, A. Fischer, T. Eisele, in: Aachener Kolloquium on Signal Theory, 1997.
1997 | Book Review | LibreCat-ID: 17779
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)
V. Peckhaus, History and Philosophy of Logic 18 (1997) 115–120 (Essay Review).
LibreCat
V. Peckhaus, History and Philosophy of Logic 18 (1997) 115–120 (Essay Review).