Art
J-GLOBAL ID：201902202153367303   Reference number：19S1254183

An automated deduction and its implementation for solving problem of sequence at university entrance examination

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (4)：
Wada, Yumi

About Wada, Yumi

(University of Tsukuba)

About University of Tsukuba

, 
Terui, Akira

About Terui, Akira

(University of Tsukuba)

About University of Tsukuba

, 
Matsuzaki, Takuya

About Matsuzaki, Takuya

(Nagoya University)

About Nagoya University

, 
Arai, Noriko H.

About Arai, Noriko H.

(National Institute of Informatics)

About National Institute of Informatics


Material：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

About Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)


Volume： 9725  Page： 82-89  Publication year： 2016 
JST Material Number： SCOPUS  ISSN： 0302-9743  ISBN： 9783319424316 
Country of issue： Germany (DEU)  Language： English (EN)
Terms in the title (1)：
Terms in the title
Keywords automatically extracted from the title.
ITS

About ITS


Return to Previous Page

TOP

BOTTOM