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.
13318 Publications
1997 | Book Chapter | LibreCat-ID: 15613
Über die Vervollständigung des Wissens. Philosophinnen in der Wissenschaft
R. Hagengruber, in: G. Völger (Ed.), Sie und Er. Frauenmacht und Männerherrschaft im Kulturvergleich, Rautenstrauch-Joest-Museum, Köln, 1997, pp. 109–114.
LibreCat
R. Hagengruber, in: G. Völger (Ed.), Sie und Er. Frauenmacht und Männerherrschaft im Kulturvergleich, Rautenstrauch-Joest-Museum, Köln, 1997, pp. 109–114.
1997 | Journal Article | LibreCat-ID: 16565
Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Information and Computation (1997) 103–120.
LibreCat
| DOI
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Information and Computation (1997) 103–120.
1997 | Conference Paper | LibreCat-ID: 16604
Allocating weighted jobs in parallel
P. Berenbrink, F. Meyer auf der Heide, K. Schröder, in: Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’97, 1997.
LibreCat
| DOI
P. Berenbrink, F. Meyer auf der Heide, K. Schröder, in: Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’97, 1997.
1997 | Book Review | LibreCat-ID: 1690
Glenk, Hartmut: Die eingetragene Genossenschaft, in Schriftenreihe: Praxis des Handels- und Wirtschaftsrechts Heft 7; Beck 1996
D. Krimphove, Deutsche Notar-Zeitschrift (1997) 176 ff.
LibreCat
D. Krimphove, Deutsche Notar-Zeitschrift (1997) 176 ff.
1997 | Conference Paper | LibreCat-ID: 2439
Experiences with a SCI Multiprocessor Workstation Cluster
O. Heinz, J. Simon, in: Proc. Int. Conf. on Architecture of Computing Systems (ARCS), VDE Verlag, 1997.
LibreCat
O. Heinz, J. Simon, in: Proc. Int. Conf. on Architecture of Computing Systems (ARCS), VDE Verlag, 1997.
1997 | Conference Paper | LibreCat-ID: 2441
Embedding SCI into PVM
M. Fischer, J. Simon, in: Proc. European Parallel Virtual Machine / Message Passing Interface Users’ Group Meeting (EuroPVM/MPI), Springer, Berlin / Heidelberg, 1997, pp. 175–184.
LibreCat
| DOI
M. Fischer, J. Simon, in: Proc. European Parallel Virtual Machine / Message Passing Interface Users’ Group Meeting (EuroPVM/MPI), Springer, Berlin / Heidelberg, 1997, pp. 175–184.
1997 | Working Paper | LibreCat-ID: 2580
Zum Abbau der Diskriminierung von Frauenarbeit im Rahmen kostenminimaler Produktionen
S. Betz, Zum Abbau der Diskriminierung von Frauenarbeit im Rahmen kostenminimaler Produktionen, Braunschweig, 1997.
LibreCat
S. Betz, Zum Abbau der Diskriminierung von Frauenarbeit im Rahmen kostenminimaler Produktionen, Braunschweig, 1997.
1997 | Journal Article | LibreCat-ID: 3033
The rank of sparse random matrices over finite fields
J. Blömer, R. Karp, E. Welzl, Random Structures \& Algorithms (1997) 407–419.
LibreCat
| DOI
J. Blömer, R. Karp, E. Welzl, Random Structures \& Algorithms (1997) 407–419.
1997 | Conference Paper | LibreCat-ID: 3259
Dependency-Based Action Refinement
A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
LibreCat
| DOI
A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
1997 | Book Chapter | LibreCat-ID: 3526
Catching-up of Economies in Transformation
T. Gries, S. Jungblut, in: P.J.J. Welfens, H.C. Wolf (Eds.), Banking, International Capital Flows and Growth in Europe, Springer-Verlag, Berlin Heidelberg New York, 1997, pp. 297–311.
LibreCat
T. Gries, S. Jungblut, in: P.J.J. Welfens, H.C. Wolf (Eds.), Banking, International Capital Flows and Growth in Europe, Springer-Verlag, Berlin Heidelberg New York, 1997, pp. 297–311.
1997 | Journal Article | LibreCat-ID: 6234
New Developments in Labour Flexibility
L. Mayne, M.A.I. Valverde, C. Brewster, R. Kabst, New Developments in Labour Flexibility, Special Issue, Employee Relations: The International Journal 19 (1997).
LibreCat
L. Mayne, M.A.I. Valverde, C. Brewster, R. Kabst, New Developments in Labour Flexibility, Special Issue, Employee Relations: The International Journal 19 (1997).
1997 | Journal Article | LibreCat-ID: 5611
The Flexibility Paradox
M.A.I. Valverde, R. Kabst, C. Brewster, L. Mayne, Employee Relations 6 (1997) 596–608.
LibreCat
M.A.I. Valverde, R. Kabst, C. Brewster, L. Mayne, Employee Relations 6 (1997) 596–608.
1997 | Book | LibreCat-ID: 6537
Windatlas für die Kreise Holzminden, Hameln-Pyrmont und Teile der Kreise Schaumburg und Hildesheim
J. Bendfeld, S.O. Gärtner, E. Ortjohann, Windatlas für die Kreise Holzminden, Hameln-Pyrmont und Teile der Kreise Schaumburg und Hildesheim, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1997.
LibreCat
J. Bendfeld, S.O. Gärtner, E. Ortjohann, Windatlas für die Kreise Holzminden, Hameln-Pyrmont und Teile der Kreise Schaumburg und Hildesheim, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1997.
1997 | Journal Article | LibreCat-ID: 7403
A Combined Reference Model- and View-Based Approach to System Specification
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, Int. Journal of Software and Knowledge Engeneering 7 (1997) 457–477.
LibreCat
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, Int. Journal of Software and Knowledge Engeneering 7 (1997) 457–477.
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 | Conference Paper | LibreCat-ID: 7840
Thermooptische Effekte in Nd:YAG-Slablasern
R. Depke, S. Knoke, W. Schöne, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Physik-Verlag, Weinheim, Germany, 1997.
LibreCat
R. Depke, S. Knoke, W. Schöne, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Physik-Verlag, Weinheim, Germany, 1997.
1997 | Conference Paper | LibreCat-ID: 8108
Reflection-Losses at Structured PV-Modules
U. Kerst, S. Krauter, R. Hanitsch, in: Proceedings of the 14th European Photovoltaic Solar Energy Conference, Barcelona (Spanien), 30. Juni – 4. Juli 1997, S. 232–235, 1997.
LibreCat
U. Kerst, S. Krauter, R. Hanitsch, in: Proceedings of the 14th European Photovoltaic Solar Energy Conference, Barcelona (Spanien), 30. Juni – 4. Juli 1997, S. 232–235, 1997.
1997 | Conference Paper | LibreCat-ID: 8278
An Inductive View of Graph Transformation
F. Gadducci, R. Heckel, in: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), Springer, Berlin/Heidelberg, 1997, pp. 223–237.
LibreCat
F. Gadducci, R. Heckel, in: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), Springer, Berlin/Heidelberg, 1997, pp. 223–237.
1997 | Journal Article | LibreCat-ID: 8470
Didaktik des Rechnungswesens
H.-H. Kremer, P.F.E. Sloane, Erziehungswissenschaft und Beruf (1997) 137–138.
LibreCat
H.-H. Kremer, P.F.E. Sloane, Erziehungswissenschaft und Beruf (1997) 137–138.
1997 | Conference Paper | LibreCat-ID: 8898
Schwingungsprüfstand zur vollautomatischen Messung von Ultraschallschwingungen in piezoelektrischen Antrieben
S. Goldschmidt, T. Hemsel, J. Krome, H. Storck, J. Wallaschek, in: Tagungsband Zum 4. Laser Vibrometer Seminar Der Polytec GmbH, Waldbronn, Deutschland, 1997.
LibreCat
S. Goldschmidt, T. Hemsel, J. Krome, H. Storck, J. Wallaschek, in: Tagungsband Zum 4. Laser Vibrometer Seminar Der Polytec GmbH, Waldbronn, Deutschland, 1997.
1997 | Conference Paper | LibreCat-ID: 8901
Piezoelectric ultrasonic linear motors
T. Hemsel, J. Wallaschek, in: EUROMECH, European Mechanics Colloquium “Synthesis of Mechatronic Sytems,” Duisburg, 1997.
LibreCat
T. Hemsel, J. Wallaschek, in: EUROMECH, European Mechanics Colloquium “Synthesis of Mechatronic Sytems,” Duisburg, 1997.
1997 | Conference Paper | LibreCat-ID: 16894
User Adaptive Presentation of Information
B. Gutkauf, S. Thies, G. Domik-Kienegger, in: Proceedings 2nd International Symposium on Global Engineering Networking, 1997, pp. 115–127.
LibreCat
B. Gutkauf, S. Thies, G. Domik-Kienegger, in: Proceedings 2nd International Symposium on Global Engineering Networking, 1997, pp. 115–127.
1997 | Book Review | LibreCat-ID: 18198
Jourdain, P.E.B., Selected Essays on the History of Set Theory and Logics (1906–1918), hg. v. I. Grattan-Guinness, CLUEB: Bologna 1991
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 853.01037] (1997).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 853.01037] (1997).
1997 | Book Review | LibreCat-ID: 18201
Halmos, P.R., “To Count or to Think, that is the Question”, Nieuw Arch. Wiskd., IV. ser., 13 (1995), 61–76
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 858.00006] (1997).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 858.00006] (1997).
1997 | Book Review | LibreCat-ID: 18206
DePauli-Schimanovich, Werner/Weibel, Peter, Kurt Gödel: ein mathematischer Mythos, Hölder-Pichler-Tempski: Wien 1997
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 872.01030] (1997).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 872.01030] (1997).
1997 | Book Chapter | LibreCat-ID: 18427
Zum Problem der Gattungsgrenze – Möglichkeiten einer prototypentheoretischen Lösung
D. Tophinke, in: B. Frank, T. Haye, D. Tophinke (Eds.), Gattungen mittelalterlicher Schriftlichkeit, Narr, Tübingen, 1997, pp. 161–182.
LibreCat
D. Tophinke, in: B. Frank, T. Haye, D. Tophinke (Eds.), Gattungen mittelalterlicher Schriftlichkeit, Narr, Tübingen, 1997, pp. 161–182.
1997 | Book | LibreCat-ID: 19019
Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800
N.O. Eke, Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800, Fink, München, 1997.
LibreCat
N.O. Eke, Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800, Fink, München, 1997.
1997 | Conference Paper | LibreCat-ID: 2179
Simple, Efficient Routing Schemes for All-Optical Networks
M. Flammini, C. Scheideler, in: SPAA, 1997, pp. 170--179.
LibreCat
| Files available
M. Flammini, C. Scheideler, in: SPAA, 1997, pp. 170--179.
1997 | Conference Paper | LibreCat-ID: 11819
European Speech Databases for Telephone Applications
H. Hoege, H.S. Tropf, R. Winsky, H. van den Heuvel, R. Haeb-Umbach, K. Choukri, in: ICASSP, Munich, 1997.
LibreCat
| Download (ext.)
H. Hoege, H.S. Tropf, R. Winsky, H. van den Heuvel, R. Haeb-Umbach, K. Choukri, in: ICASSP, Munich, 1997.
1997 | Conference Paper | LibreCat-ID: 11852
Acoustic Front Ends for Speaker-Independent Digit Recognition in Car Environments
D. Langmann, A. Fischer, F. Wuppermann, R. Haeb-Umbach, T. Eisele, in: Eurospeech, 1997.
LibreCat
| Download (ext.)
D. Langmann, A. Fischer, F. Wuppermann, R. Haeb-Umbach, T. Eisele, in: Eurospeech, 1997.
1997 | Journal Article | LibreCat-ID: 13776
The anisotropic electron - positron momentum distribution in diamond
R.W.N. Nilen, S.H. Connell, D.T. Britton, C.G. Fischer, E.J. Sendezera, P. Schaaff, W.G. Schmidt, J.P.F. Sellschop, W.S. Verwoerd, Journal of Physics: Condensed Matter 9 (1997) 6323–6333.
LibreCat
| DOI
R.W.N. Nilen, S.H. Connell, D.T. Britton, C.G. Fischer, E.J. Sendezera, P. Schaaff, W.G. Schmidt, J.P.F. Sellschop, W.S. Verwoerd, Journal of Physics: Condensed Matter 9 (1997) 6323–6333.
1997 | Conference Paper | LibreCat-ID: 15291
Approximation of fuzzy functions
E. Hüllermeier, in: A. Grauel, W. Becker, F. Belli (Eds.), In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany, 1997, pp. 374–381.
LibreCat
E. Hüllermeier, in: A. Grauel, W. Becker, F. Belli (Eds.), In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany, 1997, pp. 374–381.
1997 | Conference Paper | LibreCat-ID: 15811
Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose
E. Hüllermeier, in: D.P.F. Möller, O. Richter (Eds.), In Proceedings ASIM Fachgruppentagung Soft Computing, 1997.
LibreCat
E. Hüllermeier, in: D.P.F. Möller, O. Richter (Eds.), In Proceedings ASIM Fachgruppentagung Soft Computing, 1997.
1997 | Journal Article | LibreCat-ID: 16201
A new approach to modelling and simulation of uncertain dynamical systems
E. Hüllermeier, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 (1997) 117–137.
LibreCat
E. Hüllermeier, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 (1997) 117–137.
1997 | Book Review | LibreCat-ID: 1691
Rademacher, Ulf: Der Europäische Betriebsrat. Die Richtlinie 94 / 45 / EG des Rates vom 22. 4. 1994 und ihre Umsetzung in nationales Recht; Nomos: Universitätsschriften Recht 1997
D. Krimphove, Recht Der Arbeit (RdA) (1997) 310.
LibreCat
D. Krimphove, Recht Der Arbeit (RdA) (1997) 310.
1997 | Book Chapter | LibreCat-ID: 16605
Communication efficient parallel searching
A. Bäumker, F. Meyer auf der Heide, in: Solving Irregularly Structured Problems in Parallel, Berlin, Heidelberg, 1997.
LibreCat
| DOI
A. Bäumker, F. Meyer auf der Heide, in: Solving Irregularly Structured Problems in Parallel, Berlin, Heidelberg, 1997.
1997 | Journal Article | LibreCat-ID: 1665
Europäisches Arbeitsrecht - Konsequenzen für die betriebliche Praxis
D. Krimphove, Kommunale Aufgaben Und Umweltrecht (1997) 49 ff.
LibreCat
D. Krimphove, Kommunale Aufgaben Und Umweltrecht (1997) 49 ff.
1997 | Book Chapter | LibreCat-ID: 16693
Parallel Computing in Paderborn: The SFB 376 “Massive Parallelism — Algorithms, Design Methods, Applications”
F. Meyer auf der Heide, T. Decker, in: Informatik ’97 Informatik Als Innovationsmotor, Berlin, Heidelberg, 1997.
LibreCat
| DOI
F. Meyer auf der Heide, T. Decker, in: Informatik ’97 Informatik Als Innovationsmotor, Berlin, Heidelberg, 1997.
1997 | Conference Paper | LibreCat-ID: 2442
The MOL Project: An Open, Extensible Metacomputer
A. Reinefeld, R. Baraglia, T. Decker, J. Gehring, D. Laforenza, F. Ramme, T. Römke, J. Simon, in: Proc. Heterogenous Computing Workshop (HCW), IEEE Computer Society, 1997, pp. 17–31.
LibreCat
| DOI
A. Reinefeld, R. Baraglia, T. Decker, J. Gehring, D. Laforenza, F. Ramme, T. Römke, J. Simon, in: Proc. Heterogenous Computing Workshop (HCW), IEEE Computer Society, 1997, pp. 17–31.
1997 | Journal Article | LibreCat-ID: 3527
Amerikanisches Job-Wunder versus deutsches Produktivitätswunder: Ein Vergleich der Arbeitsmarktstrategien
T. Gries, A. Birk, Wirtschaftsdienst – Zeitschrift Für Wirtschaftspolitik (1949 - 2007) 77 (1997) 99–106.
LibreCat
T. Gries, A. Birk, Wirtschaftsdienst – Zeitschrift Für Wirtschaftspolitik (1949 - 2007) 77 (1997) 99–106.
1997 | Book Chapter | LibreCat-ID: 6228
Personalwirtschaftliche Strategien im europäischen Vergleich – Eine Analyse organisations- und landesspezifischer Prädiktoren
W. Weber, R. Kabst, in: R. Klimecki, A. Remer (Eds.), Personal Als Strategie, 1997, pp. 20–45.
LibreCat
W. Weber, R. Kabst, in: R. Klimecki, A. Remer (Eds.), Personal Als Strategie, 1997, pp. 20–45.
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
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.
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 (Editor) | LibreCat-ID: 7795
Themenheft: Softwaretechnik
G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.
LibreCat
| DOI
G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.
1997 | Conference Paper | LibreCat-ID: 7839
A View-Oriented Approach to System Modelling Using Graph Transformations
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343.
LibreCat
| DOI
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343.
1997 | Conference Paper | LibreCat-ID: 8902
Schwingungsverhalten von verstimmten Beschaufelungen mit Reibelementen
K. Popp, W. Sextro, in: Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen, Frankfurt am Main, Germany, 1997, pp. 131–142.
LibreCat
K. Popp, W. Sextro, in: Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen, Frankfurt am Main, Germany, 1997, pp. 131–142.
1997 | Book Chapter | LibreCat-ID: 8421
Grundfragen der Berufsbildung
D. Euler, H.-H. Kremer, M. Theis, in: D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, 3rd ed., Düsseldorf, 1997, pp. 13–42.
LibreCat
D. Euler, H.-H. Kremer, M. Theis, in: D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, 3rd ed., Düsseldorf, 1997, pp. 13–42.
1997 | Conference Paper | LibreCat-ID: 8279
Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration
R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
1997 | Journal Article | LibreCat-ID: 16535
Almost Invariant Sets in Chua's Circuit
M. Dellnitz, O. Junge, International Journal of Bifurcation and Chaos (1997) 2475–2485.
LibreCat
| DOI
M. Dellnitz, O. Junge, International Journal of Bifurcation and Chaos (1997) 2475–2485.
1997 | Book Review | LibreCat-ID: 17780
Witold Marciszewski/Roman Murawski. Mechanization of Reasoning in a Historical Perspective. Amsterdam/Atlanta, GA: Rodopi 1995. (Poznań Studies in the Philosophy of the Sciences and the Humanities; 43)
V. Peckhaus, Modern Logic 7 (1997) 402–409.
LibreCat
V. Peckhaus, Modern Logic 7 (1997) 402–409.