咨询与建议

限定检索结果

文献类型

  • 158 篇 会议
  • 14 册 图书
  • 5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 123 篇 工学
    • 119 篇 计算机科学与技术...
    • 79 篇 软件工程
    • 20 篇 电气工程
    • 4 篇 信息与通信工程
    • 3 篇 控制科学与工程
    • 2 篇 动力工程及工程热...
    • 2 篇 电子科学与技术(可...
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 航空宇航科学与技...
    • 2 篇 农业工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 环境科学与工程(可...
  • 42 篇 理学
    • 37 篇 数学
    • 9 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
  • 13 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 6 篇 工商管理
    • 5 篇 图书情报与档案管...
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 26 篇 logic programmin...
  • 9 篇 mathematical log...
  • 9 篇 programming lang...
  • 9 篇 artificial intel...
  • 8 篇 logics and meani...
  • 8 篇 constraint theor...
  • 7 篇 programming tech...
  • 5 篇 constraint satis...
  • 5 篇 semantics
  • 4 篇 constraint logic...
  • 4 篇 computer program...
  • 4 篇 functional progr...
  • 3 篇 object oriented ...
  • 3 篇 prolog (programm...
  • 3 篇 software enginee...
  • 3 篇 computer system ...
  • 2 篇 computer science
  • 2 篇 computer circuit...
  • 2 篇 theory of comput...
  • 2 篇 formal logic

机构

  • 3 篇 ercis leonardo-c...
  • 3 篇 univ complutense...
  • 2 篇 institut für inf...
  • 2 篇 fraunhofer first
  • 2 篇 institut für wir...
  • 2 篇 fraunhofer first...
  • 2 篇 institut für inf...
  • 2 篇 department of in...
  • 2 篇 department of co...
  • 2 篇 cau kiel inst in...
  • 2 篇 michigan state u...
  • 2 篇 htwk leipzig fak...
  • 1 篇 arm inc architec...
  • 1 篇 inria
  • 1 篇 kielce univ tech...
  • 1 篇 facoltà di scien...
  • 1 篇 penn state univ ...
  • 1 篇 singapore manage...
  • 1 篇 univ politecn ca...
  • 1 篇 lomonosov moscow...

作者

  • 8 篇 hanus michael
  • 4 篇 michael hanus
  • 3 篇 hofstedt petra
  • 3 篇 dageförde jan c.
  • 3 篇 kuchen herbert
  • 3 篇 antoy sergio
  • 2 篇 waldmann johanne...
  • 2 篇 sarna-starosta b...
  • 2 篇 teegen finn
  • 2 篇 winkelmann hendr...
  • 2 篇 liu ke
  • 2 篇 caballero rafael
  • 2 篇 lepper markus
  • 2 篇 dillon laura k.
  • 2 篇 ricardo rocha
  • 2 篇 seipel dietmar
  • 2 篇 mossakowski till
  • 2 篇 dasseville ingma...
  • 2 篇 leuschel michael
  • 2 篇 löffler sven

语言

  • 175 篇 英文
  • 1 篇 其他
  • 1 篇 中文
检索条件"任意字段=18th International Workshop on Functional and Constraint Logic Programming"
177 条 记 录,以下是1-10 订阅
排序:
functional and constraint logic programming - 18th international workshop, WFLP 2009, Revised Selected Papers
Functional and Constraint Logic Programming - 18th Internati...
收藏 引用
18th international workshop on functional and constraint logic programming, WFLP 2009
the proceedings contain 11 papers. the topics discussed include: programming with multiple paradigms in Lua;constraint based strategies;termination of context-sensitive rewriting with built-in numbers and collection d...
来源: 评论
28th international workshop on functional and constraint logic programming, WFLP 2020
28th International Workshop on Functional and Constraint Log...
收藏 引用
28th international workshop on functional and constraint logic programming, WFLP 2020
the proceedings contain 8 papers. the special focus in this conference is on functional and constraint logic programming. the topics include: On the Performance of Bytecode Interpreters in Prolog;memoized Pull-Tabbing...
来源: 评论
international Conference on Declarative programming, DECLARE 2017 Unifying 21st international Conference on Applications of Declarative programming and Knowledge Management, INAP 2017, 31st workshop on logic programming, WLP 2017 and 25th workshop on functional and (constraint) logic programming, WFLP 2017
International Conference on Declarative Programming, DECLARE...
收藏 引用
international Conference on Declarative programming, DECLARE 2017 Unifying 21st international Conference on Applications of Declarative programming and Knowledge Management, INAP 2017, 31st workshop on logic programming, WLP 2017 and 25th workshop on functional and (constraint) logic programming, WFLP 2017
the proceedings contain 87 papers. the special focus in this conference is on Declarative programming. the topics include: Concolic testing of functional logic programs;Declarative XML Schema validation with SWI–Prol...
来源: 评论
26th international workshop on functional and constraint logic programming, WFLP 2018
26th International Workshop on Functional and Constraint Log...
收藏 引用
26th international workshop on functional and constraint logic programming, WFLP 2018
the proceedings contain 10 papers. the special focus in this conference is on functional and constraint logic programming. the topics include: Code Generation for Higher Inductive Types: A Study in Agda Metaprogrammin...
来源: 评论
22nd international Conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd workshop on logic programming, WLP 2019, and the 27th workshop on functional and constraint logic programming, WFLP 2019
22nd International Conference on Applications of Declarative...
收藏 引用
22nd international Conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd workshop on logic programming, WLP 2019, and the 27th workshop on functional and constraint logic programming, WFLP 2019
the proceedings contain 18 papers. the special focus in this conference is on Applications of Declarative programming and Knowledge Management. the topics include: Facets of the PIE Environment for Proving, Interpolat...
来源: 评论
20th international workshop on functional and (constraint) logic programming, WFLP 2011
20th International Workshop on Functional and (Constraint) L...
收藏 引用
20th international workshop on functional and (constraint) logic programming, WFLP 2011
the proceedings contain 9 papers. the special focus in this conference is on functional and (constraint) logic programming. the topics include: A new compiler from curry to Haskell;new functional logic design patterns...
来源: 评论
functional and constraint logic programming - 19th international workshop, WFLP 2010, Revised Selected Papers
Functional and Constraint Logic Programming - 19th Internati...
收藏 引用
19th international workshop on functional and constraint logic programming, WFLP 2010
the proceedings contain 9 papers. the topics discussed include: transforming functional logic programs into monadic functional programs;mixed-level embedding and JIT compilation for an iteratively staged DSL;an access...
来源: 评论
Recent Advances in constraints - 13th Annual ERCIM international workshop on constraint Solving and constraint logic programming, CSCLP 2008, Revised Selected Papers
Recent Advances in Constraints - 13th Annual ERCIM Internati...
收藏 引用
13th Annual ERCIM international workshop on constraint Solving and constraint logic programming, CSCLP 2008
the proceedings contain 9 papers. the topics discussed include: from marriages to coalitions: a soft CSP approach;solving CSPs with naming games;an efficient decision procedure for functional decomposable theories bas...
来源: 评论
18th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" Preface
收藏 引用
AI COMMUNICATIONS 2012年 第2期25卷 73-74页
作者: Gavanelli, Marco Mancini, Toni Univ Roma La Sapienza Dipartimento Informat I-00198 Rome Italy Univ Ferrara Dipartimento Ingn I-44100 Ferrara Italy
来源: 评论
Integrating ILOG CP Technology into Toy
Integrating ILOG CP Technology into Toy
收藏 引用
18th international workshop on functional and constraint logic programming
作者: Castineiras, Ignacio Saenz-Perez, Fernando Univ Complutense Madrid Dept Sistemas Informat & Computac E-28040 Madrid Spain Univ Complutense Madrid Dept Ingn Soft Inteligencia Artificial E-28040 Madrid Spain
the constraint functional logic programming system TOY has been using the SICStus Prolog finite domain (FD) constraint solver. In this work, we show how to integrate the ILOG CP FD constraint solving technology into t... 详细信息
来源: 评论