|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kayo Kawamoto, Noriko H. Arai |
Evaluation of Logical Thinking Ability through Contributions in a Learning Community.  |
LKR  |
2008 |
DBLP DOI BibTeX RDF |
Logical thinking ability, Learning community, Quantitative evaluation, BBS, Qualitative evaluation |
| 1 | Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart |
The complexity of analytic tableaux. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Toru Takahashi, Christoph Bartneck, Yasuhiro Katagiri, Noriko H. Arai |
TelMeA - Expressive avatars in asynchronous communications. |
Int. J. Hum.-Comput. Stud. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Noriko H. Arai, Kayo Kawamoto |
Designing Collaborative Learning Environment for Advanced Math. |
IMSA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Noriko H. Arai, Chimako Hiratsuka |
Creating a Virtual Space for Child-Rearing with IT Beginners. |
IMSA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Noriko H. Arai, Toru Takahashi, Yasuhiro Katagiri |
CSCL Environment for Bilingual Deaf Education. |
CATE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yasuhiro Katagiri, Toru Takahashi, Noriko H. Arai |
Social Summarization for Semantic Society. |
JSAI Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart |
The complexity of analytic tableaux. |
STOC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Noriko H. Arai |
Tractability of Cut-free Gentzen-type propositional calculus with permutation inference II. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Noriko H. Arai |
No feasible monotone interpolation for simple combinatorial reasoning. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Noriko H. Arai |
Relative efficency of propositional proof systems: resolution vs. cut-free LK. |
Ann. Pure Appl. Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Noriko H. Arai, Alasdair Urquhart |
Local Symmetries in Propositional Logic. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Noriko H. Arai |
A Proper Hierarchy of Propositional Sequent Calculi. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Noriko H. Arai |
Tractability of Cut-Free Gentzen Type Propositional Calculus with Permutation Inference. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")