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.

5792 Publications


1998 | Journal Article | LibreCat-ID: 44582 LibreCat
 

1998 | Conference Paper | LibreCat-ID: 56577
Implementing an ALCRP(D) ABox Reasoner - Progress Report
V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 56576
HAM-ALC
V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org, 1998.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 19869
Bounded degree spanning trees
A. Czumaj, W.-B. Strothmann, in: Proceedings of the Fifth Annual European Symposium on Algorithms (ESA’97), 1997.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 8106
Das ECO–PV–System
S. Krauter, H. Duwe, in: Zwölftes Nationales Symposium Für Photovoltaische Energiewandlung, Staffelstein, 26.–28. Februar 1997, Band 1, S. 297–302., 1997.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 7515
Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach
H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, A. Corradini, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, World Scientific, Singapore, 1997, pp. 247–312.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 7517
Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach
A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Löwe, in: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, World Scientific, Singapore, 1997, pp. 163–245.
LibreCat
 

1997 | Book | LibreCat-ID: 6752
Samuel Beckett's Dramatic Strategy. Audience Laughter and the Postmodernist Debate
M. Tönnies, Samuel Beckett’s Dramatic Strategy. Audience Laughter and the Postmodernist Debate, WVT, Trier, 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 10724
Parallel qualitative simulation
M. Platzner, B. Rinner, R. Weiss, Simulation Practice and Theory 5 (1997) 623–638.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 13781
Electron-positron momentum density distribution in diamond
R.W.N. Nilen, S.H. Connell, W.G. Schmidt, D.T. Britton, W.S. Verwoerd, J.P.F. Sellschop, S. Shrivastava, Applied Surface Science 116 (1997) 330–334.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 17495
The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic
V. Peckhaus, in: Philosophia Scientiae. Travaux d’histoire et de Philosophie Des Science (Nancy) 1/3 (1996). 1–15 [Erschienen Im Juni 1997, = Actes Du Congrès International Poincaré – Nancy 1994; Bd. 2.2], 1997, pp. 1–15.
LibreCat
 
 
 

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

1997 | Book Chapter | LibreCat-ID: 36170
Stiftungen – Gedächtnis, Frömmigkeit und Repräsentation
H. Kamp, in: B. Franke, B. Welzel (Eds.), Die Kunst der burgundischen Niederlande. Eine Einführung, Berlin, 1997, pp. 29–44.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 36167
Vermittler in den Konflikten des hohen Mittelalters
H. Kamp, in: La giustizia nell’ alto medioevo II. Secoli IX-XI, Spoleto, 1997, pp. 675–714.
LibreCat
 

1997 | Book | LibreCat-ID: 50414 | OA
Technik, die Gesellschaft schafft. Soziale Netzwerke als Ort der Technikgenese
L. Riedl, J. Weyer, U. Kirchner, J.F.K. Schmidt, Technik, die Gesellschaft schafft. Soziale Netzwerke als Ort der Technikgenese, Edition Sima, Berlin, 1997.
LibreCat | Download (ext.)
 

1997 | Journal Article | LibreCat-ID: 53462 LibreCat
 

1997 | Journal Article | LibreCat-ID: 53463 LibreCat
 
 

Filters and Search Terms

isbn%3D3-9808659-1-6

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed