维普期刊资源整合服务平台（V6.5）

35篇 您的检索式：作者名="G Logemann"

选中清除导出查看参考文献查看引证文献引用追踪共2页首页上一页第1页下一页末页 /2 跳转

	题名	作者	年代	出处	被引量
1	A machine program for theorem proving显示文摘	M Davis G Logemann D Loveland	1962	Communications of the ACM1962，5，：	2
2	Novel principles in the microbial conversion of nitrogen compounds显示文摘	Jetten M S M Logemann S Muyzer G	1997	Antonie van Leeuwenhoek1997，71，12：	1
3	Novel Principles in the microbial conversion of nitrogen compound显示文摘	Logemann S M Muyzer G	1997	Anthonie Van Leeuwehoek1997，71，：	1
4	A machine program for theorem proving显示文摘	Davis M Logemann G Loveland D	1962	Communications of the ACM July1962，5，7：	1
5	A machine program for theorem-proving 显示文摘	DAVIS M LOGEMANN G LOVELAND D	1962	Communications of the ACM1962，5，7：	1
6	A machine program for theorem-proving显示文摘	Logemann G Loveland D	1962	Communications of the ACM1962，5，7：	1
7	Impact of thermal stimulation on the triggering of the swallow reflex显示文摘	Lazarra G Lazarus C Logemann J	1986	Dysphagla1986，1，：	1
8	A machine program for theorem-proving显示文摘	Davis M Logemann G Loveland D	1962	Communications of ACM1962，5，7：	1
9	A machine program for theorem-proving 显示文摘	Davis M Logemann G Loveland D	1962	Communications of the ACM1962，5，7：	1
10	A machine program for theorem proving显示文摘	DAVIS M LOGEMANN G LOVELAND D	1962	Communications of the ACM1962，5，7：	1
11	A machine program for theorem-proving显示文摘	Davis M Logemann G Loveland D	1962	Communications of the ACM1962，5，7：	1
12	A machine program for theorem proving显示文摘	Davis M Logemann G Loveland D	1962	Communications of the ACM1962，5，7：	1
13	A machine program for theorem proving显示文摘	LOGEMANN G LOVELAND D	1962	Comm ACM 51962，5，7：	1
14	A Machine program for Theorem-Proving显示文摘	Davis M Logemann G Loveland D	1962	Communication of the ACM1962，，：	1
15	A Machine Program for Theorem Proving显示文摘	Davis M Logemann G Loveland D	1962	Communications of the ACM1962，5，7：	1
16	Missing litotroph identified as new planetomyeete显示文摘	Strous M Fuerst JA Kramer EHM Logemann S Muyzer G van de Pas-Schoonen KT Webb R Kuenen JG Jetten MSM	1999	Nature1999，400，：	1
17	A Machine Program for Theorem Proving显示文摘	Davis M Logemann G Loveland D	1962	Communications of the ACM1962，5，7：	1
18	Novel princi- ples in the microbial conversion of nitrogen compounds 显示文摘	Jetten MSM Logemann S Muyzer G	1997	Antonie van Leeuwenhoek1997，71，1：	1
19	A machine program for theorem-proving显示文摘	Davis M Logemann G Loveland D		0，，07：	1
20	A machine program for theorem proving显示文摘	M Davis G Logemann D Loveland	1962	Communications of the ACM1962，5，7：	1

返回顶部每页显示：

共2页首页上一页第1页下一页末页 /2 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示