咨询与建议

限定检索结果

文献类型

  • 10 篇 会议
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 8 篇 工学
    • 7 篇 计算机科学与技术...
    • 5 篇 软件工程
    • 2 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 航空宇航科学与技...
  • 4 篇 理学
    • 4 篇 数学
    • 2 篇 统计学(可授理学、...
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 管理学
    • 1 篇 图书情报与档案管...

主题

  • 2 篇 probabilistic lo...
  • 1 篇 formal logic
  • 1 篇 dynamic logic
  • 1 篇 model checking
  • 1 篇 logic programmin...
  • 1 篇 markov decision ...
  • 1 篇 quantum logic
  • 1 篇 semantics
  • 1 篇 quantum programm...
  • 1 篇 spacecraft auton...
  • 1 篇 probabilistic co...

机构

  • 2 篇 open university ...
  • 1 篇 cyber reconnaiss...
  • 1 篇 univ sannio dept...
  • 1 篇 univ brasilia de...
  • 1 篇 dipartimento di ...
  • 1 篇 dipartimento di ...
  • 1 篇 jukedeck ltd. un...
  • 1 篇 radboud universi...
  • 1 篇 compagnia genera...
  • 1 篇 dipartimento di ...
  • 1 篇 inesc tec high a...
  • 1 篇 univ brasilia de...
  • 1 篇 dipartimento di ...

作者

  • 2 篇 hommersom arjen
  • 2 篇 bellodi elena
  • 2 篇 lamma evelina
  • 1 篇 ferreira ramos t...
  • 1 篇 nardone vittoria
  • 1 篇 simari gerardo i...
  • 1 篇 ciampolini anna
  • 1 篇 loreti daniela
  • 1 篇 cota giuseppe
  • 1 篇 bueno marcos l.p...
  • 1 篇 riguzzi fabrizio
  • 1 篇 ayala-rincon mau...
  • 1 篇 simari guillermo...
  • 1 篇 tipaldi massimo
  • 1 篇 chesani federico
  • 1 篇 santone antonell...
  • 1 篇 zese riccardo
  • 1 篇 alberti marco
  • 1 篇 almeida ariane a...
  • 1 篇 shakarian paulo

语言

  • 11 篇 英文
检索条件"任意字段=3rd International Workshop on Probabilistic Logic Programming, PLP 2016"
11 条 记 录,以下是11-20 订阅
排序:
3rd international workshop on Extensions of logic programming, ELP 1992
收藏 引用
20th international Colloquium on Automata, Languages and programming, ICALP 1993
The proceedings contain 56 papers. The special focus in this conference is on Extensions of logic programming. The topics include: A new approach to making programs more reliable;searching among intervals and compact ...
来源: 评论