Sindbad~EG File Manager
����; � TeX output 2000.09.15:1226� ������� ���`� ����� � �&� ':
cmti10�A���rticle���Submitte��}'d�to�Journal�of�Symb�olic�Computation������� ���Ӏ ��i8V���N� G� cmbx12�Automatic�z�Deriv���ation�of�the������ �w
Irrationalit��u�y�z�of�e��#�Ѝ� �xd��-�
cmcsc10�Michael���Beeson�����2��K� cmsy8����� ��r][�Dep��}'artment���of�Mathematics�and�Computer�Scienc�e�� �� ���San���Jose�State�University��,� �� �3��+��N� cmbx12�Abstract�����4 �,K�`y
�3
cmr10�As��4part�of�a�pro� ��ject�on�automatic�generation�of�pro�M�ofs�in��!v�olving��4b�oth��
����4 logic�xand�computation,�w��!e�ha�v�e�automatically�generated�a�pro�M�of�of�the�ir-����4 rationalit��!y�x
of��-�b>