# Masateru Harao

According to our database

Collaborative distances:

^{1}, Masateru Harao authored at least 28 papers between 1975 and 2007.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2007

Systems and Computers in Japan, 2007

Int. J. Agent Oriented Softw. Eng., 2007

Proceedings of the Modeling Decisions for Artificial Intelligence, 2007

2006

Proceedings of the Discovery Science, 9th International Conference, 2006

2005

Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth-First Pruning.

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2005

Proceedings of the New Frontiers in Artificial Intelligence, 2005

Proceedings of the New Frontiers in Artificial Intelligence, 2005

Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005

Proceedings of the Discovery Science, 8th International Conference, 2005

2004

J. Symb. Comput., 2004

Proceedings of the Inductive Logic Programming, 14th International Conference, 2004

Proceedings of the Discovery Science, 7th International Conference, 2004

2003

Proceedings of the Discovery Science, 6th International Conference, 2003

2000

Ann. Math. Artif. Intell., 2000

1998

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997

Proceedings of the Advances in Computing Science, 1997

1992

Analogical Reasoning for L K Theorem Proving.

Proceedings of the Automated Reasoning, 1992

1990

Automated Design of Circuits from Recursion Equations Using Theorem-Proving Technique.

Systems and Computers in Japan, 1990

Analogical Reasoning Based on Higher-Order Unification.

Proceedings of the Algorithmic Learning Theory, First International Workshop, 1990

1989

Transformation rules for automated design of circuits by theorem-proving techniques. Transformation from recursion equations to circuit descriptions.

Systems and Computers in Japan, 1989

1988

Knowledge Representation and Inference Based on First-Order Modal Logic.

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Systems and Computers in Japan, 1987

1984

J. Comput. Syst. Sci., 1984

1979

Inf. Control., November, 1979

1978

IEEE Trans. Computers, 1978

1975

J. Comput. Syst. Sci., 1975