Affiliation:
1. Kestrel Institute, Palo Alto, CA
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference47 articles.
1. Associative path orderings
2. ~BHATTACHARYA P. P. AND JAIN S.K. First Coarse m Rings Fields and Vector Spaces. Wiley ~New York 1961. ~BHATTACHARYA P. P. AND JAIN S.K. First Coarse m Rings Fields and Vector Spaces. Wiley ~New York 1961.
3. Non-resolution theorem proving;~BLEDSOE W.W;Artzf. Int.,1977