咨询与建议

限定检索结果

文献类型

  • 488 篇 会议
  • 59 篇 期刊文献
  • 21 册 图书

馆藏范围

  • 567 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 391 篇 工学
    • 344 篇 计算机科学与技术...
    • 209 篇 软件工程
    • 50 篇 电气工程
    • 28 篇 信息与通信工程
    • 22 篇 控制科学与工程
    • 9 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 生物工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 动力工程及工程热...
    • 2 篇 化学工程与技术
    • 2 篇 核科学与技术
    • 1 篇 仪器科学与技术
    • 1 篇 冶金工程
  • 102 篇 理学
    • 87 篇 数学
    • 10 篇 系统科学
    • 5 篇 物理学
    • 5 篇 生物学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
  • 32 篇 管理学
    • 20 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 7 篇 工商管理
  • 7 篇 教育学
    • 7 篇 教育学
  • 6 篇 法学
    • 6 篇 社会学
  • 6 篇 文学
    • 5 篇 外国语言文学
    • 1 篇 新闻传播学
  • 3 篇 医学
    • 2 篇 临床医学
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 144 篇 logic programmin...
  • 18 篇 artificial intel...
  • 16 篇 logic gates
  • 16 篇 linear programmi...
  • 16 篇 computer program...
  • 15 篇 probabilistic lo...
  • 14 篇 programming
  • 14 篇 mathematical log...
  • 14 篇 programming lang...
  • 12 篇 semantics
  • 11 篇 formal logic
  • 11 篇 computer program...
  • 11 篇 logics and meani...
  • 10 篇 fuzzy logic
  • 10 篇 software enginee...
  • 9 篇 computer circuit...
  • 9 篇 logic
  • 9 篇 programming tech...
  • 8 篇 answer set progr...
  • 8 篇 inductive logic ...

机构

  • 4 篇 univ minho ctr a...
  • 4 篇 univ texas dept ...
  • 3 篇 universita di pi...
  • 3 篇 the weizmann ins...
  • 3 篇 new mexico state...
  • 3 篇 univ malaga dept...
  • 3 篇 univ calabria de...
  • 2 篇 aalto univ dept ...
  • 2 篇 ontario power ge...
  • 2 篇 univ pisa dipart...
  • 2 篇 department of th...
  • 2 篇 texas tech univ ...
  • 2 篇 univ freiburg in...
  • 2 篇 school of comput...
  • 2 篇 katholieke univ ...
  • 2 篇 inst natl teleco...
  • 2 篇 vienna univ tech...
  • 2 篇 university of po...
  • 2 篇 arizona state un...
  • 2 篇 inria rennes

作者

  • 5 篇 vicente henrique
  • 4 篇 eiter t
  • 4 篇 neves jose
  • 4 篇 saint-dizier pat...
  • 4 篇 faber w
  • 3 篇 stéphan i
  • 3 篇 deville yves
  • 3 篇 pereira lm
  • 3 篇 leone n
  • 3 篇 wang bin
  • 3 篇 levi giorgio
  • 3 篇 neves joao
  • 3 篇 zhang zhizheng
  • 3 篇 son tc
  • 2 篇 polleres a
  • 2 篇 gueddes abdelweh...
  • 2 篇 gongjie liu
  • 2 篇 pontelli e
  • 2 篇 dung phan minh
  • 2 篇 lee kin hong

语言

  • 520 篇 英文
  • 43 篇 其他
  • 4 篇 中文
  • 1 篇 法文
检索条件"任意字段=8th Conference on Logic Programming, 1989"
568 条 记 录,以下是481-490 订阅
排序:
Implementation techniques for scoping constructs in logic programming
Proceedings of the International Conference on Logic Program...
收藏 引用
Proceedings of the International conference on logic programming 1991年 871-871页
作者: Jayaraman, Bharat Nadathur, Gopalan
来源: 评论
On the semantics of logic programs
Proceedings of the International Conference on Logic Program...
收藏 引用
Proceedings of the International conference on logic programming 1991年 945-945页
作者: Levi, Giorgio
来源: 评论
Applications of constraints logic programming languages
Proceedings of the International Conference on Logic Program...
收藏 引用
Proceedings of the International conference on logic programming 1991年 944-944页
作者: Chabrier, Jean-Jacques Pradelles, Claudine Legeard, Bruno
来源: 评论
Legislation as logic programs
Proceedings of the International Conference on Logic Program...
收藏 引用
Proceedings of the International conference on logic programming 1991年 910-910页
作者: Kowalski, Robert A.
来源: 评论
Clausal form for the completion of logic programs
Proceedings of the International Conference on Logic Program...
收藏 引用
Proceedings of the International conference on logic programming 1991年 711-711页
作者: Harland, James
来源: 评论
Toward automatic test data set selection using algebraic specifications and logic programming
Proceedings of the International Conference on Logic Program...
收藏 引用
Proceedings of the International conference on logic programming 1991年 202-202页
作者: Marre, Bruno
来源: 评论
Parallel programming and large-scale applications in the FGCS project
Proceedings of the International Conference on Logic Program...
收藏 引用
Proceedings of the International conference on logic programming 1991年 949-949页
作者: Taki, Kazuo
来源: 评论
Lexical logic programs
Proceedings of the International Conference on Logic Program...
收藏 引用
Proceedings of the International conference on logic programming 1991年 349-349页
作者: Moscowitz, Yael Shapiro, Ehud
来源: 评论
Abstract interpretation of logic programs
Proceedings of the International Conference on Logic Program...
收藏 引用
Proceedings of the International conference on logic programming 1991年 940-940页
作者: Cousot, Patrick M.
来源: 评论
Cardinality operator. A new logical connective for constraint logic programming
Proceedings of the International Conference on Logic Program...
收藏 引用
Proceedings of the International conference on logic programming 1991年 745-745页
作者: Van, Hentenryck, Pascal Deville, Yves
来源: 评论