结果：找到“Logic Language”相关内容12个，排序为按回复时间降序，搜索更多相关帖子请点击“高级”
Language, Proof, and Logic-Jon Barwise & John Etchemendy
1 个回复 - 456 次查看 Language, Proof, and Logic 作者:Jon Barwise/John Etchemendy/Gerard Allwein/Dave Barker-Plummer/Albert Liu 出版社:CSLI Publications 出版年:1999-082023-4-24 11:23 - wxwpxh - IT基础
1 个回复 - 456 次查看 Language, Proof, and Logic 作者:Jon Barwise/John Etchemendy/Gerard Allwein/Dave Barker-Plummer/Albert Liu 出版社:CSLI Publications 出版年:1999-082023-4-24 11:23 - wxwpxh - IT基础
【独家发布】Meaning_and_Language_Phenomenological_Perspectives
1 个回复 - 376 次查看 The work aims at presenting new in-depth researc h on core topics of Husserl’s thinking related to language (e.g., meaning, sign, ideality) supplemented with a variety of original phenomenologic ...2018-7-30 11:24 - xdfhz - 经管书评
1 个回复 - 376 次查看 The work aims at presenting new in-depth researc h on core topics of Husserl’s thinking related to language (e.g., meaning, sign, ideality) supplemented with a variety of original phenomenologic ...2018-7-30 11:24 - xdfhz - 经管书评
Logic and Language Models for Computer Science 3rd Edition
13 个回复 - 754 次查看 World Scientific Publishing | 2018 | ISBN 978-981-3230-50-7 | 458 pages | PDF | 7.9 M **** 本内容被作者隐藏 ****2018-2-8 13:58 - igs816 - 经管书评
13 个回复 - 754 次查看 World Scientific Publishing | 2018 | ISBN 978-981-3230-50-7 | 458 pages | PDF | 7.9 M **** 本内容被作者隐藏 ****2018-2-8 13:58 - igs816 - 经管书评
Transforming Natural Language Processing to Logical Forms
0 个回复 - 363 次查看 摘要：JAIST 21世紀COEシンポジウム2008「検証進化可能電子社会」= JAIST 21st Century COE Symposium 2008 Verifiable and Evolvable e-Society, 開催:2008年3月3日～4日, 開催場所:北陸先端科学技術大学院大学 GRP ...2018-1-22 10:30 - 论文库 - 人工智能论文版
0 个回复 - 363 次查看 摘要：JAIST 21世紀COEシンポジウム2008「検証進化可能電子社会」= JAIST 21st Century COE Symposium 2008 Verifiable and Evolvable e-Society, 開催:2008年3月3日～4日, 開催場所:北陸先端科学技術大学院大学 GRP ...2018-1-22 10:30 - 论文库 - 人工智能论文版
Analogical Natural Language Processing by Daniel Jones
0 个回复 - 324 次查看 摘要：Objective\ To increase peak bone mass(PBM) in teen age is an important means for prevention of osteroporosis development in elder age. The purpose of this ...原文链接:http://dialnet.unirioja.es/ ...2018-1-13 10:00 - a智多星 - 人工智能论文版
0 个回复 - 324 次查看 摘要：Objective\ To increase peak bone mass(PBM) in teen age is an important means for prevention of osteroporosis development in elder age. The purpose of this ...原文链接:http://dialnet.unirioja.es/ ...2018-1-13 10:00 - a智多星 - 人工智能论文版
Review of Analogical natural language processing by Daniel Jones. UCL Press..
0 个回复 - 373 次查看 摘要：Objective\ To increase peak bone mass(PBM) in teen age is an important means for prevention of osteroporosis development in elder age. The purpose of this ...原文链接:http://dl.acm.org/citation. ...2018-1-13 09:30 - DL-er - 人工智能论文版
0 个回复 - 373 次查看 摘要：Objective\ To increase peak bone mass(PBM) in teen age is an important means for prevention of osteroporosis development in elder age. The purpose of this ...原文链接:http://dl.acm.org/citation. ...2018-1-13 09:30 - DL-er - 人工智能论文版
From natural language processing to logic for expert systems : A Thayse Joh..
0 个回复 - 374 次查看 摘要：From natural language processing to logic for expert systems : A Thayse John Wiley (1991) 原文链接:http://www.sciencedirect.com/science/article/pii/095070519390027Q送人玫瑰，手留余香~如您已下载到 ...2018-1-4 11:30 - DL-er - 人工智能论文版
0 个回复 - 374 次查看 摘要：From natural language processing to logic for expert systems : A Thayse John Wiley (1991) 原文链接:http://www.sciencedirect.com/science/article/pii/095070519390027Q送人玫瑰，手留余香~如您已下载到 ...2018-1-4 11:30 - DL-er - 人工智能论文版
From natural language processing to logic for expert systems edited by Thay..
0 个回复 - 458 次查看 摘要：****原文链接:http://journals.cambridge.org/abstract_S0269888900006652送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）2018-1-4 07:00 - 论文库 - 人工智能论文版
0 个回复 - 458 次查看 摘要：****原文链接:http://journals.cambridge.org/abstract_S0269888900006652送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）2018-1-4 07:00 - 论文库 - 人工智能论文版
Methodological Review: Natural Language Processing methods and systems for ..
0 个回复 - 417 次查看 摘要：While the biomedical informatics community widely acknowledges the utility of domain ontologies, there remain many barriers to their effective use. One imp...原文链接:http://dl.acm.org/citation. ...2018-1-1 04:30 - a智多星 - 人工智能论文版
0 个回复 - 417 次查看 摘要：While the biomedical informatics community widely acknowledges the utility of domain ontologies, there remain many barriers to their effective use. One imp...原文链接:http://dl.acm.org/citation. ...2018-1-1 04:30 - a智多星 - 人工智能论文版
【语言：一种生物学的模型】Language: A Biological Model
11 个回复 - 1082 次查看 Language: A Biological Model by Ruth Garrett Millikan (Author) Ruth Millikan is well known for having developed a strikingly original way for philosophers to seek understanding of mind and ...2016-10-21 04:45 - cmwei333 - 经管书评
11 个回复 - 1082 次查看 Language: A Biological Model by Ruth Garrett Millikan (Author) Ruth Millikan is well known for having developed a strikingly original way for philosophers to seek understanding of mind and ...2016-10-21 04:45 - cmwei333 - 经管书评
Logics of Time and Computation (Center for the Study of Language and Information
1 个回复 - 974 次查看 Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of ...2015-7-21 09:53 - nelsoncwlee - 金融学（理论版）
1 个回复 - 974 次查看 Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of ...2015-7-21 09:53 - nelsoncwlee - 金融学（理论版）
Perl-A Psychologically Efficient Reformatting Language
0 个回复 - 1054 次查看 Perl-A Psychologically Efficient Reformatting Language Psychologists are often faced with the need to manipulate one or more files, either to modify the format or to extract specific information, T ...2014-12-14 12:37 - Nicolle - HLM专版
0 个回复 - 1054 次查看 Perl-A Psychologically Efficient Reformatting Language Psychologists are often faced with the need to manipulate one or more files, either to modify the format or to extract specific information, T ...2014-12-14 12:37 - Nicolle - HLM专版
