-
1
-
-
0003426044
-
-
in: C. Hartshorne, P. Weiss (Eds.), The Belknap Press of Harvard University Press, Cambridge, Massachusetts
-
C.S. Peirce, Collected Papers of Charles Sanders Peirce, (six volumes), in: C. Hartshorne, P. Weiss (Eds.), The Belknap Press of Harvard University Press, Cambridge, Massachusetts, 1960.
-
(1960)
Collected Papers of Charles Sanders Peirce, (Six Volumes)
-
-
Peirce, C.S.1
-
3
-
-
85031563904
-
-
The University of Chicago Press, Chicago
-
O. Neurath, N. Bohr, J. Dewey, B. Russell, R. Carnap, C.W. Morris, Encyclopedia and Unified Science, International Encyclopedia of Unified Science, Vol. I, No. 1, The University of Chicago Press, Chicago, 1938.
-
(1938)
Encyclopedia and Unified Science, International Encyclopedia of Unified Science
, vol.1
, Issue.1
-
-
Neurath, O.1
Bohr, N.2
Dewey, J.3
Russell, B.4
Carnap, R.5
Morris, C.W.6
-
4
-
-
0001380310
-
Der Wahrheitsbegriff in den formalisierten Sprachen
-
A. Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica 1 (1936) 261-405 (J.H. Woodger, The Concept of Truth in Formalized Languages, in: A. Tarski (Ed.), Logic, Semantics, Metamathematics, Papers from 1923 to 1938, The Clarendon Press, Oxford, 1956, English translation).
-
(1936)
Studia Philosophica
, vol.1
, pp. 261-405
-
-
Tarski, A.1
-
5
-
-
0011609067
-
The Concept of Truth in Formalized Languages
-
in: A. Tarski (Ed.), to 1938 The Clarendon Press, Oxford, English translation).
-
A. Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica 1 (1936) 261-405 (J.H. Woodger, The Concept of Truth in Formalized Languages, in: A. Tarski (Ed.), Logic, Semantics, Metamathematics, Papers from 1923 to 1938, The Clarendon Press, Oxford, 1956, English translation).
-
(1923)
Logic, Semantics, Metamathematics, Papers from
-
-
Woodger, J.H.1
-
7
-
-
0041597615
-
Social and semiotic analyses for theorem prover user interface design
-
Goguen J. Social and semiotic analyses for theorem prover user interface design. Formal Aspects of Computing. 11:1999;272-301.
-
(1999)
Formal Aspects of Computing
, vol.11
, pp. 272-301
-
-
Goguen, J.1
-
8
-
-
6944235792
-
The Semantic Conception of Truth and the Foundations of Semantics, Philosophy and Phenomenological Research
-
in: H. Feigl, W. Sellars (Eds.), Appleton-Century-Crofts, New York
-
A. Tarski, The Semantic Conception of Truth and the Foundations of Semantics, Philosophy and Phenomenological Research, Vol. IV, in: H. Feigl, W. Sellars (Eds.), Readings in Philosophical Analysis, Appleton-Century-Crofts, New York, 1944.
-
(1944)
Readings in Philosophical Analysis
, vol.4
-
-
Tarski, A.1
-
9
-
-
85031575972
-
Semiosis, cognition, interpretation
-
in: R.J. Jorna, B. van Heusden, R. Posner (Eds.), Walter de Gruyter, Berlin, New York
-
J. Pelc, Semiosis, cognition, interpretation, in: R.J. Jorna, B. van Heusden, R. Posner (Eds.), Signs, Search and Communication-Semiotic Aspects of Artificial Intelligence, Walter de Gruyter, Berlin, New York, 1993.
-
(1993)
Signs, Search and Communication-Semiotic Aspects of Artificial Intelligence
-
-
Pelc, J.1
-
10
-
-
85031564211
-
-
IMTR-TEI, Report, Draft 3, June 28, 1999, IMTR Project Office, Oak Ridge Centers for Manufacturing Technology, Oak Ridge, Tennessee.
-
IMTR-TEI, 1999, Integrated Manufacturing Technology Roadmapping Project, Technologies for Enterprise Integration. Report, Draft 3, June 28, 1999, IMTR Project Office, Oak Ridge Centers for Manufacturing Technology, Oak Ridge, Tennessee.
-
(1999)
Integrated Manufacturing Technology Roadmapping Project, Technologies for Enterprise Integration
-
-
-
11
-
-
0343732741
-
Introduction
-
in: J. Goossenaerts, F. Kimura, J.C. Wortmann (Eds.), Chapman & Hall, London
-
J. Goossenaerts, F. Kimura, J.C. Wortmann, Introduction, in: J. Goossenaerts, F. Kimura, J.C. Wortmann (Eds.), Information Infrastructure Systems for Manufacturing, Proceedings of the IFIP TC5/WG5.3/WG5.7 International Conference on the Design of Information Infrastructure Systems for Manufacturing, DIISM'96, Chapman & Hall, London, 1997.
-
(1997)
Information Infrastructure Systems for Manufacturing, Proceedings of the IFIP TC5/WG5.3/WG5.7 International Conference on the Design of Information Infrastructure Systems for Manufacturing, DIISM'96
-
-
Goossenaerts, J.1
Kimura, F.2
Wortmann, J.C.3
-
12
-
-
0343297105
-
A framework for connecting work and information infrastructure
-
in: J. Goossenaerts, F. Kimura, J.C. Wortmann (Eds.), Chapman & Hall, London
-
J. Goossenaerts, A framework for connecting work and information infrastructure, in: J. Goossenaerts, F. Kimura, J.C. Wortmann (Eds.), Information Infrastructure Systems for Manufacturing, Proceedings of the IFIP TC5/WG5.3/WG5.7 International Conference on the Design of Information Infrastructure Systems for Manufacturing, DIISM'96, Chapman & Hall, London, 1997.
-
(1997)
Information Infrastructure Systems for Manufacturing, Proceedings of the IFIP TC5/WG5.3/WG5.7 International Conference on the Design of Information Infrastructure Systems for Manufacturing, DIISM'96
-
-
Goossenaerts, J.1
-
13
-
-
0009431275
-
The artifactual wheel-work and the information infrastructure
-
in: H. Yoshikawa, R. Yamamoto, F. Kimura, T. Suga, Y. Umeda (Eds.), 1-3 February 1999, IEEE Computer Society, Los Alamitos, California, ISBN 0-7695-0007-2
-
J. Goossenaerts, K.-D. Thoben, The artifactual wheel-work and the information infrastructure, in: H. Yoshikawa, R. Yamamoto, F. Kimura, T. Suga, Y. Umeda (Eds.), Proceedings of EcoDesign'99: First International Symposium on Environmentally Conscious Design and Inverse Manufacturing, 1-3 February 1999, IEEE Computer Society, Los Alamitos, California, ISBN 0-7695-0007-2, 1999, pp. 674-679.
-
(1999)
Proceedings of EcoDesign'99: First International Symposium on Environmentally Conscious Design and Inverse Manufacturing
, pp. 674-679
-
-
Goossenaerts, J.1
Thoben, K.-D.2
-
14
-
-
0002334488
-
Understanding design fundamentals: how synthesis and analysis drive creativity, resulting in emergence
-
Kobe University, Japan, 6-7 December
-
V. Kryssanov, H. Tamaki, S. Kitamura, Understanding design fundamentals: how synthesis and analysis drive creativity, resulting in emergence, in: Proceedings of International Workshop on Emergent Synthesis, IWES'99, Kobe University, Japan, 6-7 December 1999.
-
(1999)
In: Proceedings of International Workshop on Emergent Synthesis, IWES'99
-
-
Kryssanov, V.1
Tamaki, H.2
Kitamura, S.3
-
15
-
-
0342862177
-
Proposal of artifactual engineering - aims to make science and technology self-conclusive
-
(in Japanese).
-
H. Yoshikawa, Proposal of artifactual engineering - aims to make science and technology self-conclusive, ILLUME, A TEPCO Semiannual Review 4(1) (1992) 41-56 (in Japanese).
-
(1992)
ILLUME, a TEPCO Semiannual Review
, vol.4
, Issue.1
, pp. 41-56
-
-
Yoshikawa, H.1
-
19
-
-
0040349108
-
-
Pergamon Press, PWN-Polish Scientific Publishers, Oxford/Warszawa, (Transl. from the Polish by O. Wojtasiewicz).
-
T. Kotarbinski, Praxiology: An Introduction to the Sciences of Efficient Action, Pergamon Press, PWN-Polish Scientific Publishers, Oxford/Warszawa, 1965 (Transl. from the Polish by O. Wojtasiewicz).
-
(1965)
Praxiology: An Introduction to the Sciences of Efficient Action
-
-
Kotarbinski, T.1
|