咨询与建议

限定检索结果

文献类型

  • 298 篇 会议
  • 27 篇 期刊文献
  • 19 册 图书

馆藏范围

  • 344 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 245 篇 工学
    • 229 篇 计算机科学与技术...
    • 117 篇 软件工程
    • 19 篇 电气工程
    • 17 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 6 篇 机械工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 生物工程
    • 4 篇 仪器科学与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 3 篇 生物医学工程(可授...
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 1 篇 光学工程
  • 53 篇 理学
    • 39 篇 数学
    • 8 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 物理学
  • 23 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 9 篇 图书情报与档案管...
    • 5 篇 工商管理
  • 6 篇 经济学
    • 3 篇 理论经济学
    • 3 篇 应用经济学
  • 3 篇 教育学
    • 2 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 3 篇 农学
    • 2 篇 作物学
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 医学

主题

  • 70 篇 logic programmin...
  • 18 篇 inductive logic ...
  • 15 篇 artificial intel...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 programming tech...
  • 11 篇 logics and meani...
  • 10 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 programming lang...
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...

机构

  • 5 篇 inria rennes ren...
  • 5 篇 university of po...
  • 3 篇 microsoft res re...
  • 3 篇 univ paris 13 li...
  • 3 篇 carnegie mellon ...
  • 3 篇 aalto university...
  • 3 篇 univ penn philad...
  • 2 篇 univ wales dept ...
  • 2 篇 stanford univ ct...
  • 2 篇 politecn torino ...
  • 2 篇 indian inst tech...
  • 2 篇 univ freiburg in...
  • 2 篇 univ wisconsin d...
  • 2 篇 czech tech univ ...
  • 2 篇 univ london impe...
  • 2 篇 department of in...
  • 2 篇 univ paris 13 li...
  • 2 篇 harvard univ cam...
  • 2 篇 columbia univ ct...
  • 2 篇 ibm unternehmens...

作者

  • 8 篇 gebser martin
  • 6 篇 srinivasan ashwi...
  • 6 篇 alphonse erick
  • 5 篇 schaub torsten
  • 5 篇 ricca francesco
  • 4 篇 osmani aomar
  • 4 篇 page david
  • 4 篇 camacho rui
  • 3 篇 yamamoto akihiro
  • 3 篇 king ross
  • 3 篇 rouveirol celine
  • 3 篇 moreno gines
  • 3 篇 leger hippolyte
  • 3 篇 janhunen tomi
  • 3 篇 maratea marco
  • 3 篇 bouthinon domini...
  • 3 篇 lebbah mustapha
  • 2 篇 muggleton stephe...
  • 2 篇 fronhöfer b
  • 2 篇 khatibsyarbini

语言

  • 332 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
344 条 记 录,以下是301-310 订阅
排序:
Functional procedures in higher-order logic  13th
Functional procedures in higher-order logic
收藏 引用
13th international conference on theorem Proving in Higher Order logics, TPHOLs 2000
作者: Laibinis, Linas Wright, Joakim Von Lemminkaisenkatu 14 TurkuFIN-20520 Finland
In this paper we present an approach for modelling functional procedures (as they occur in imperative programming languages) in a weakest precondition framework. Functional procedures are called inside expressions, bu... 详细信息
来源: 评论
Verification of a combinational loop based arbitration scheme in a system-on-chip integration architecture
Verification of a combinational loop based arbitration schem...
收藏 引用
international conference on VLSI Design
作者: Y. Xia P. Ashar C CRL NEC-USA Inc. Princeton NJ USA
We tackle the problem of verifying correctness properties on an HDL implementation of a system-on-chip bus-based integration architecture. the bus architecture is characterized by a 2-level arbitration scheme and the ... 详细信息
来源: 评论
13th international Workshop on Computer Science logic, CSL 1999 and 8th Annual conference of the European Association for Computer Science logic, EACSL 1999
收藏 引用
13th international Workshop on Computer Science logic, CSL 1999 and held as international Workshops on Computer Science logic, EACSL 1999
the proceedings contain 41 papers. the special focus in this conference is on Verification, Temporal logic, Lambda Calculus, Linear logic and Descriptive Complexity. the topics include: Topological queries in spatial ...
来源: 评论
A P-Time completeness proof for light logics  13th
收藏 引用
8th Annual conference of the European-Association-for-Computer-Science-logic (EACSL)/13th international Workshop on Computer Science logic (CSL 99)
作者: Roversi, L Inst Mat Luminy UPR 9016 F-13288 Marseille 9 France
We explain why the original proofs of P-Time completeness for Light Affine logic and Light Linear logic can not work, and we fully develop a working one.
来源: 评论
Monadic presentations of lambda terms using generalized inductive types  13th
收藏 引用
8th Annual conference of the European-Association-for-Computer-Science-logic (EACSL)/13th international Workshop on Computer Science logic (CSL 99)
作者: Altenkirch, T Reus, B Univ Munich D-80538 Munich Germany
We present a definition of untyped lambda -terms using a heterogeneous datatype, i.e. an inductively defined operator. this operator can be extended to a Kleish triple, which is a concise way to verify the substitutio... 详细信息
来源: 评论
Data refinement for call-by-value programming languages  13th
收藏 引用
8th Annual conference of the European-Association-for-Computer-Science-logic (EACSL)/13th international Workshop on Computer Science logic (CSL 99)
作者: Kinoshita, Y Power, J Electrotech Lab Tsukuba Ibaraki 305 Japan Univ Edinburgh Lab Fdn Comp Sci Edinburgh EH9 3JZ Midlothian Scotland
We give a category theoretic framework for data-refinement in call-by-value programming languages. One approach to data refinement for the simply typed lambda -calculus is given by generalising the notion of logical r... 详细信息
来源: 评论
A truly concurrent semantics for a simple parallel programming language  13th
收藏 引用
8th Annual conference of the European-Association-for-Computer-Science-logic (EACSL)/13th international Workshop on Computer Science logic (CSL 99)
作者: Gastin, P Mislove, M Univ Paris 07 LIAFA F-75251 Paris 05 France Tulane Univ Dept Math New Orleans LA 70118 USA
this paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, paxallelism and choice. We present a simple programming langua... 详细信息
来源: 评论
Report on the ECAI-98 conference from the machine learning perspective
收藏 引用
AI Communications 1998年 第3期11卷 233-235页
作者: Smirnov, Evgueni N. Maastricht Univ Maastricht Netherlands
the program committee of the 13th European conference on Artificial Intelligence has accepted 15 papers in the field of machine learning from seven countries: France (3), Germany (1), Japan (1), Italy (3), the Netherl... 详细信息
来源: 评论
A new FMS simulator with object-oriented-programming techniques
收藏 引用
JOURNAL OF MATERIALS PROCESSING TECHNOLOGY 1998年 第1-3期76卷 238-245页
作者: Li, XN Yuan, HB Huang, XY Cheung, EHM Nanjing Univ Sci & Technol Sch Mfg Engn Nanjing Peoples R China City Univ Hong Kong Dept Mfg Engn Kowloon Hong Kong
With the advance of research, design and operation of flexible manufacturing systems (FMS), new requirements have been presented for FMS simulators. these new requirements are high modelling efficiency, high model val... 详细信息
来源: 评论
Flexible planning logic for technology planning
收藏 引用
JOURNAL OF MATERIALS PROCESSING TECHNOLOGY 1998年 第1-3期76卷 76-81页
作者: Spath, D Agostini, A Univ Karlsruhe Inst Werkzuegmaschinen & Betriebstech D-76128 Karlsruhe Germany
the ever-rising expectations of customers regarding quality and diversity of products require new products to be launched with a minimum of upheaval and consequently rapid, defect-free and economical processes. these ... 详细信息
来源: 评论