BibTeX记录conf/lics/Statman86

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

>主页 >conf/lics/Statman86文件

下载为.bib文件

@正在处理{DBLP:conf/lics/Statman86，作者＝{Richard Statman}，title={关于将Lambda项转换为组合子；基问题}，booktitle={计算机科学逻辑研讨会论文集{（LICS}1986年6月16日至18日，美国马萨诸塞州剑桥，页数={378--382}，publisher={{IEEE}计算机协会}，年份={1986}，timestamp={2015年1月22日星期四10:45:17+0100}，biburl={https://dblp.org/rec/conf/lics/Statman86.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。