E-LIB Suche - Ergebnisse für: Arai, Noriko H. - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Designing Researchmap: A Revolutionary Scholar Support Plat..:

, In: 2023 IEEE 6th International Conference on Knowledge Innovation and Invention (ICKII),

Arai, Noriko H. ; Masukawa, Ryuji ; Miyashita, Hiroshi - p. 367-371 , 2023

Link: https://doi.org/10.1109/..

2

The impact of AI—can a robot get into the University of Tok..:

Arai, Noriko H.
National Science Review. 2 (2015) 2 - p. 135-136 , 2015

Link: https://doi.org/10.1093/..

3

Mathematics by machine:

, In: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation,

Arai, Noriko H. ; Matsuzaki, Takuya ; Iwane, Hidenao. - p. 1-8 , 2014

Link: https://dl.acm.org/doi/1..

4

The Complexity of Analytic Tableaux:

Arai, Noriko H. ; Pitassi, Toniann ; Urquhart, Alasdair
The Journal of Symbolic Logic. 71 (2006) 3 - p. 777-790 , 2006

Link: https://www.jstor.org/st..

5

TelMeA—Expressive avatars in asynchronous communications:

Takahashi, Toru ; Bartneck, Christoph ; Katagiri, Yasuhiro.
International Journal of Human-Computer Studies. 62 (2005) 2 - p. 193-209 , 2005

Link: https://doi.org/10.1016/..

6

No feasible monotone interpolation for simple combinatorial..:

Arai, Noriko H.
Theoretical Computer Science. 238 (2000) 1-2 - p. 477-482 , 2000

Link: https://doi.org/10.1016/..

7

Tractability of Cut-free Gentzen-type propositional calculu..:

Arai, Noriko H.
Theoretical Computer Science. 243 (2000) 1-2 - p. 185-197 , 2000

Link: https://doi.org/10.1016/..

8

Relative efficiency of propositional proof systems: resolut..:

Arai, Noriko H.
Annals of Pure and Applied Logic. 104 (2000) 1-3 - p. 3-16 , 2000

Link: https://doi.org/10.1016/..

9

A proper hierarchy of propositional sequent calculi:

Arai, Noriko H.
Theoretical Computer Science. 159 (1996) 2 - p. 343-354 , 1996

Link: https://doi.org/10.1016/..

10

Tractability of cut-free Gentzen type propositional calculu..:

Arai, Noriko H.
Theoretical Computer Science. 170 (1996) 1-2 - p. 129-144 , 1996

Link: https://doi.org/10.1016/..

11

Syntactic Processing Skills: Engine for Acquiring Knowledge:

Arai, Noriko H ; Arai, Teiko ; Todo, Naoya...
qt4w79w856. , 2023

Link: https://escholarship.org..

12

Cognitive Model of Generic Skill: Cognitive Processes in Se..:

Fujita, Akira ; Suzuki, Masayuki ; Arai, Noriko H
qt7gh4j0k5. , 2014

Link: https://escholarship.org..

13

High-Resolution Structures of a Chitinase Complexed with Na..:

Houston, Douglas R. ; Shiomi, Kazuro ; Arai, Noriko...
Proceedings of the National Academy of Sciences of the United States of America. 99 (2002) 14 - p. 9127-9132 , 2002

Link: https://www.jstor.org/st..

14

High-resolution structures of a chitinase complexed with na..:

Houston, Douglas R. ; Shiomi, Kazuro ; Arai, Noriko...
Proceedings of the National Academy of Sciences. 99 (2002) 14 - p. 9127-9132 , 2002

Link: https://doi.org/10.1073/..

15

High-resolution structures of a chitinase complexed with na..:

Houston, Douglas R ; Shiomi, Kazuro ; Arai, Noriko...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC123105. , 2002

Link: http://www.ncbi.nlm.nih...

1-15

Mehr Literatur finden