Article View: cn.bbs.comp.lang.java
Article #18462Re: ���˹����ܡ���������
From: ��*java
Date: Thu, 12 Feb 2004 05:09
Date: Thu, 12 Feb 2004 05:09
17 lines
1689 bytes
1689 bytes
������죿
�� �� training.bbs@bbs.zju.edu.cn (training) �Ĵ������ᵽ: ��
: ���зݡ��˹����ܡ����?ûѧ���������û���ⷽ��ĸ��ְ�æ����ý�100Ԫ��˵
: ������
: �ҵ�QQ: 67277577
: ��Ҫ��Ŀ��
: ���������⣨ÿ��8�֣���24�֣�
: 1���ж��Ӿ伯{P��x����Q��x����R��x������P��y����R��y������Q��a������R��b��}�Ƿ�
: �����㡣
: 2����F1: ( x) (P(x)��( y)(Q(y)��L(x,y)))
: F2: ( x) (P(x)��( y)(R(y)��L(x,y)))
: �Ƿɽ��� G: ( x) (R(x)��Q(x))��ǰ�
: .................������ʡ�ԣ�
--
���ɲ���û�д�۵�
[m[1;35m�� ��Դ:����ˮ˼Դ bbs.sjtu.edu.cn��[FROM: 61.152.127.194][m
Technical Details
Message-ID:
<4AcQ2S$AKP@bbs.sjtu.edu.cn>Path:
arc1-ca.pugleaf.net!archiver1.google.com!news2.google.com!news.maxwell.syr.edu!c03.atl99!sjc70.webusenet.com!news.usenetserver.com!maily.cic.tsinghua.edu.cn!news.ccie.net.cn!SJTUShow Full Headers
Complete Article Headers
X-Google-Language: Chinese,GB X-Google-Thread: f6cb0,e84876fdc520f04e X-Google-Attributes: gidf6cb0,public X-Google-ArrivalTime: 2004-02-11 21:08:40 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!news2.google.com!news.maxwell.syr.edu!c03.atl99!sjc70.webusenet.com!news.usenetserver.com!maily.cic.tsinghua.edu.cn!news.ccie.net.cn!SJTU From: oldwatch.bbs@bbs.sjtu.edu.cn (��*java) Newsgroups: cn.bbs.comp.lang.java Subject: Re: ���˹����ܡ��������� Date: 12 Feb 2004 05:09:31 GMT Organization: ��ˮ˼Դ Message-ID: <4AcQ2S$AKP@bbs.sjtu.edu.cn> Mime-Version: 1.0 Content-Type: text/plain; charset="gb2312" Content-Transfer-Encoding: 8bit X-Filename: Java/M.1076562556.A