Okada, Mitsuhiro, 1954-....
Okada, M. (Mitsuhiro), 1954-
Okada, Mitsuhiro
岡田, 光弘
Okada, M.
Mitsuhiro Okada obor působnosti počítačové vědy
VIAF ID: 35391267 ( Personal )
Permalink: http://viaf.org/viaf/35391267
Preferred Forms
- 100 0 _ ‡a Mitsuhiro Okada ‡c obor působnosti počítačové vědy
-
-
-
- 100 1 0 ‡a Okada, M. ‡q (Mitsuhiro), ‡d 1954-
-
-
-
-
-
- 100 1 _ ‡a Okada, Mitsuhiro ‡d 1954-
- 100 1 _ ‡a Okada, Mitsuhiro ‡d 1954-...
- 100 1 _ ‡a Okada, Mitsuhiro, ‡d 1954-....
- 100 1 _ ‡a 岡田, 光弘
4xx's: Alternate Name Forms (13)
Works
Title | Sources |
---|---|
Advances in computer science - ASIAN 2006 secure software and related issues ; revised selected papers | |
Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings | |
Essays in the foundations of logical and phenomenological studies : Centre for Integrated Research on the Mind | |
A generalized syllogistic inference system based on inclusion and exclusion relations | |
Images and reasoning : (Paris Meeting, March 2004) | |
ISSS 2002 | |
Linear logic | |
MWPLT 91 spring : proceedings of the First Montreal Workshop on Programming Language Theory, April 29-30, 1991 | |
Reasoning and cognition : Interdisciplinary Conference on Reasoning Cognition, (Tokyo meeting, December 2005) | |
Risuku no yuwaku. | |
Software security : theories and systems : Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers | |
Termination of rewriting in the calculus of constructions | |
Theories of types and proofs | |
Towards new logic and semantics : Franco-Japanese collaborative lectures on philosophy of logic | |
リスクの誘惑 |