Showing
1 - 1
results of
1
for search '
"岡本, 翔馬"
'
Skip to content
Portal K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
Find
Advanced Search
Search Results - "岡本, 翔馬"
Showing
1 - 1
results of
1
for search '
"岡本, 翔馬"
'
, query time: 0.71s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
生成と解決をリンクさせることによる自然演繹の作問支援
by
三輪, 和久
,
寺井, 仁
,
岡本
,
翔馬
Published in
人工知能学会論文誌
(2015)
Get full text
Journal Article
Save to List
Saved in:
RSS Feed
Email Search
Save Search
Search History
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit to articles from scholarly journals
Limit to articles with full text available
Limit to Open Access content
Exclude newspaper articles
Include articles at other libraries
Expand results using synonyms
Format
Journal Article
1 results
1
Subject Area
computer science
1 results
1
Topic
learning support
1 results
1
natural deduction
1 results
1
problem posing
1 results
1
Language
Japanese
1 results
1
Year of Publication
From:
To:
Database
Open Access Digital Library (Open Access)
1 results
1
EZB Electronic Journals Library
1 results
1
