Verfahren und System zum Durchführen von Argumentations- aufgaben unter Verwendung von Lehrsätzen mit Hilfe von parallel betriebenen Prozessoren,申请号DE19896027075T-传众专利搜索

发明名称	Verfahren und System zum Durchführen von Argumentations- aufgaben unter Verwendung von Lehrsätzen mit Hilfe von parallel betriebenen Prozessoren
摘要
申请公布号	DE68927075(T2)	申请公布日期	1997.02.20
申请号	DE19896027075T	申请日期	1989.06.09
申请人	XEROX CORP., ROCHESTER, N.Y., US	发明人	DIXON, MICHAEL, SAN FRANCISCO CALIFORNIA 94110, US;DE KLEER, JOHAN, LOS ALTOS CALIFORNIA 94022, US;LAMPING, JOHN O., LOS ALTOS CALIFORNIA 94022, US
分类号	G06F15/16;G06F9/44;G06F17/30;G06N5/04;(IPC1-7):G06F9/44	主分类号	G06F15/16
代理机构		代理人
主权项
地址