咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 132 篇 期刊文献
  • 74 册 图书

馆藏范围

  • 3,593 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 2,398 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 418 篇 电气工程
    • 269 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 46 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 86 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 mathematical mod...
  • 48 篇 computer program...
  • 46 篇 heuristic algori...
  • 42 篇 artificial intel...
  • 41 篇 computer science

机构

  • 9 篇 univ london impe...
  • 7 篇 inesc tec porto
  • 6 篇 feup porto
  • 6 篇 russian acad sci...
  • 5 篇 c mast ubi covil...
  • 4 篇 univ leicester l...
  • 4 篇 vienna univ tech...
  • 4 篇 institute of fun...
  • 4 篇 chinese acad sci...
  • 4 篇 university of am...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...

作者

  • 8 篇 catalao joao p. ...
  • 6 篇 musirin ismail
  • 5 篇 weiss gera
  • 5 篇 marron assaf
  • 4 篇 hirschfeld rober...
  • 4 篇 ghani n
  • 4 篇 katz guy
  • 4 篇 saraswat vijay
  • 4 篇 xiong rui
  • 4 篇 funabiki nobuo
  • 4 篇 fitiwi desta z.
  • 4 篇 shi yong
  • 4 篇 boercsoek josef
  • 4 篇 jagadeesan radha
  • 4 篇 gupta vineet
  • 4 篇 michael n. young
  • 4 篇 pesant gilles
  • 4 篇 harel david
  • 3 篇 muggleton stephe...
  • 3 篇 faisal a. aldo

语言

  • 3,511 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3595 条 记 录,以下是3491-3500 订阅
排序:
DESIGN FOR AN AUTOMATIC programming SYSTEM.
DESIGN FOR AN AUTOMATIC PROGRAMMING SYSTEM.
收藏 引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者: Smith, Douglas R.
来源: 评论
APE: AN EXPERT SYSTEM FOR AUTOMATIC programming FROM ABSTRACT SPECIFICATIONS OF DATA TYPES AND ALGORIthMS.
APE: AN EXPERT SYSTEM FOR AUTOMATIC PROGRAMMING FROM ABSTRAC...
收藏 引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者: Bartels, Ulrich Olthoff, Walter Raulefs, Peter
来源: 评论
ALGORIthMS OF thE COMPLEX TACTILE INFORMATION PROCESSING.
ALGORITHMS OF THE COMPLEX TACTILE INFORMATION PROCESSING.
收藏 引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者: Marik, Vladimir
来源: 评论
MODEL INFERENCE SYSTEM.
MODEL INFERENCE SYSTEM.
收藏 引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者: Shapiro, Ehud Y.
来源: 评论
INVERSION OF APPLICATIVE PROGRAMS.
INVERSION OF APPLICATIVE PROGRAMS.
收藏 引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者: Korf, Richard E.
来源: 评论
AUTOMATIC SYNthESIS OF NUMERICAL COMPUTER PROGRAMS.
AUTOMATIC SYNTHESIS OF NUMERICAL COMPUTER PROGRAMS.
收藏 引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者: Brown, Richard H.
来源: 评论
HOMOGENIZATION: PREPARING EQUATIONS FOR CHANGE OF UNKNOWN.
HOMOGENIZATION: PREPARING EQUATIONS FOR CHANGE OF UNKNOWN.
收藏 引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者: Bundy, Alan Silver, Bernard
来源: 评论
FORMAL REPRESENTATION FOR PLANS IN thE PROGRAMMER'S APPRENTICE.
FORMAL REPRESENTATION FOR PLANS IN THE PROGRAMMER'S APPRENTI...
收藏 引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者: Rich, Charles
来源: 评论
COMPOUND: A PROGRAM thAT UNDERSTANDS NOUN COMPOUNDS.
COMPOUND: A PROGRAM THAT UNDERSTANDS NOUN COMPOUNDS.
收藏 引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者: McDonald, David B.
来源: 评论
ALGORIthM thAT INFERS thEORIES FROM FACTS.
ALGORITHM THAT INFERS THEORIES FROM FACTS.
收藏 引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者: Shapiro, Ehud Y.
来源: 评论