...关于非单调推理的有效性计算支持的紧急情况研究、答案-集合论设计、非单调 逻辑的基础计算范例、稳定模型与逻辑之间深层关系的研究与建立非单调推理的普遍性 1 翠迪 ( Tweety )是卡通形象小鸟，出现在明斯基“鸟会飞”例子中。 2 刘奋荣.
基于60个网页-相关网页
我的朋友，我的伙伴——她在她五年内看到了更多而不是芭比娃娃和翠迪鸟。
My comrade, my amigo— she had seen a lot more in her five years than Barbie dolls and Tweety birds.
布鲁克林被誉为“树之城”和“教堂之城”，虽然这个小小的街区也出了不少像惠特曼、伍迪艾伦、芭芭拉史翠珊和拳王泰森那样有头有脸的人物，却唯独缺了一样。
Brooklyn, the borough of churches and trees, Walt Whitman and Woody Allen, Barbra Streisand and Mike Tyson, has never lacked for people of distinction — except perhaps in one category.
空姐辛迪瑰珀翠，30岁，在1986年加入大西洋东南航空。
Flight Attendant Cindy Crabtree, age 30, was hired by Atlantic Southeast Airlines in 1986.
应用推荐