What people are saying - Write a review
We haven't found any reviews in the usual places.
Table of Contents
Opening Address 8
General Outline and Results of the 11year Project
1 other sections not shown
Other editions - View all
achievements algorithm application software application systems biological cessing Chikayama collaborative research Computer Technology constraint logic programming database disseminate distributed e-mail evaluation FGCS Follow-on project FGCS project FGCS technology Fifth Generation Computer Fuchi genetic information processing hardware HELIC-II ICOT Free Software ICOT Research Center ICOT's implementation Institute International Ishikawa issue of ICOT Iterative Aligner JAIST Japan KL1 programs KLIC system KLIC Tutorial knowl knowledge base knowledge information processing knowledge representation knowledge representation language large-scale parallel legal reasoning system LSI-CAD ment MGTP Minato-ku Multiple Sequence Alignment natural language natural language processing Nitta nology parallel computers parallel inference machines parallel logic programming parallel machines parallel processing parallel symbolic processing parallel theorem prover participants PIMOS problems processing system processors programming language Prolog Quixote research and development Research Department sequence Shunichi Uchida symposium Tanaka tech theorem proving tion Tokyo Univ University of Oregon Unix users workshop workstations