咨询与建议

限定检索结果

文献类型

  • 882 篇 期刊文献
  • 588 篇 会议
  • 104 册 图书
  • 22 篇 学位论文

馆藏范围

  • 1,597 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,374 篇 工学
    • 1,339 篇 计算机科学与技术...
    • 1,201 篇 软件工程
    • 28 篇 控制科学与工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 15 篇 机械工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 4 篇 土木工程
    • 4 篇 交通运输工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 仪器科学与技术
    • 3 篇 农业工程
    • 3 篇 网络空间安全
  • 927 篇 理学
    • 900 篇 数学
    • 31 篇 系统科学
    • 14 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 2 篇 物理学
  • 67 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 26 篇 图书情报与档案管...
    • 22 篇 工商管理
  • 16 篇 教育学
    • 14 篇 教育学
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 5 篇 临床医学
    • 4 篇 公共卫生与预防医...
    • 3 篇 药学(可授医学、理...
  • 3 篇 哲学
    • 2 篇 哲学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 农学
    • 3 篇 作物学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 274 篇 answer set progr...
  • 248 篇 logic programmin...
  • 70 篇 software enginee...
  • 67 篇 mathematical log...
  • 60 篇 logics and meani...
  • 59 篇 programming lang...
  • 45 篇 semantics
  • 41 篇 knowledge repres...
  • 34 篇 constraint logic...
  • 32 篇 constraint progr...
  • 30 篇 programming tech...
  • 27 篇 constraint theor...
  • 27 篇 prolog
  • 25 篇 answer-set progr...
  • 24 篇 artificial intel...
  • 23 篇 software enginee...
  • 22 篇 inductive logic ...
  • 21 篇 program transfor...
  • 20 篇 theory
  • 20 篇 non-monotonic re...

机构

  • 38 篇 univ potsdam pot...
  • 22 篇 tu wien austria
  • 18 篇 new mexico state...
  • 16 篇 imdea software i...
  • 15 篇 univ genoa dibri...
  • 15 篇 univ kentucky de...
  • 14 篇 univ a coruna la...
  • 14 篇 univ texas austi...
  • 13 篇 univ calabria ar...
  • 12 篇 univ texas dalla...
  • 11 篇 katholieke univ ...
  • 11 篇 katholieke univ ...
  • 11 篇 vienna univ tech...
  • 10 篇 katholieke univ ...
  • 10 篇 imperial coll lo...
  • 10 篇 vienna univ tech...
  • 9 篇 univ politecn ma...
  • 9 篇 univ genoa genoa
  • 9 篇 univ nebraska om...
  • 9 篇 sabanci univ fac...

作者

  • 47 篇 schaub torsten
  • 34 篇 dodaro carmine
  • 30 篇 eiter thomas
  • 30 篇 cabalar pedro
  • 30 篇 ricca francesco
  • 26 篇 lierler yuliya
  • 26 篇 fandinno jorge
  • 26 篇 gupta gopal
  • 23 篇 riguzzi fabrizio
  • 23 篇 maratea marco
  • 22 篇 alviano mario
  • 21 篇 woltran stefan
  • 21 篇 lifschitz vladim...
  • 19 篇 pontelli enrico
  • 18 篇 gebser martin
  • 17 篇 erdem esra
  • 13 篇 leone nicola
  • 13 篇 carro manuel
  • 13 篇 calimeri frances...
  • 13 篇 oetsch johannes

语言

  • 1,557 篇 英文
  • 26 篇 中文
  • 14 篇 其他
检索条件"任意字段=Theory and Practice of Logic Programming"
1597 条 记 录,以下是1591-1600 订阅
排序:
PLC编程技术在电工电子实验中的应用
收藏 引用
黑龙江科技信息 2014年 第33期 163-164页
作者: 谷军 曹向南 叶婵 刘骏 邓长辉 大连海洋大学 辽宁大连116023
本文结合我校电工电子实验室硬件条件,以西门子PLC编程技术在机床加工中的应用为例,介绍了电工电子实验中常常涉及的电气自锁和互锁、电机的正转和反转、乒乓电路和逻辑函数在开关控制设计中的应用。总结了PLC编程技术在电工电子实验中... 详细信息
来源: 评论
Towards a complete framework for parallel implementation of logic languages: the data parallel implementation of SEL
收藏 引用
Concurrency and Computation: practice and Experience 1996年 第3期8卷
作者: Giancarlo Succi Carl Uhrik LII/DISA Università di Trento Via Zeni 8 I-38068 Rovereto Italy
Although logic languages, due to their non-declarative nature, are widely proclaimed to be conducive in theory to parallel implementation, in fact there appears to be insufficient practical evidence to stimulate furth...
来源: 评论
浅议技工学校PLC的教学方法
收藏 引用
装备制造技术 2008年 第12期 200-201页
作者: 覃光锋 巫时云 广西机械高级技工学校 广西柳州545005
可编程控制器具有体积小、组装维护方便、编程简单、可靠性高、抗干扰能力强等特点,已广泛应用于工业控制领域。技工学校作为培养现代技术工人的摇篮,培养学生学习PLC知识的兴趣,提高教学质量,对于顺应经济升级,拓宽学生就业面具有积极... 详细信息
来源: 评论
高水平竞赛目标表现训练学——目标表现训练第一性及其量能双合生物实体化倒计时训练原理
收藏 引用
北京体育大学学报 2024年 第7期47卷 1-25页
作者: 李捷 罗超毅 广东省体育局 广东广州510105 国家体育总局训练局 北京100061
目标表现训练第一性原则及其量能双合生物实体化倒计时训练原理,是融合现代生命复杂性科学认识,经20多年竞技一线的训练、生理生化监控及脑α系统时序监控循证实践研究的原创认识理论。该理论以现代生命科学研究新进展与高水平竞技多赛... 详细信息
来源: 评论
基于PLC的专家控制系统开发工具
收藏 引用
可编程控制器与工厂自动化(PLC FA) 2005年 第7期 41-43,16页
作者: 张少海 浙江经济管理专修学院
专家控制作为21世纪的自动化技术,国内外理论和实践均充分说明,其在工业复杂过程控制方面大有用武之地。工业现场需要先进的控制方法—专家控制:迫切需要工程化、实用化的专家控制开发工具,在我国 PLC 基本普及的前提下,将专家控制嵌入... 详细信息
来源: 评论
单片机与接口技术项目化教学改革的实践与探索
收藏 引用
电脑与电信 2020年 第4期 36-38页
作者: 吕守向 福州理工学院工学院 福建福州350506
单片机与接口技术作为一门综合性电工电子类课程,通常将自动化技术、应用电子技术、通信技术等进行结合,使学生掌握单片机专业理论、应用实践等内容。教师在课程教学中,主要围绕单片机系统设计、应用编程、安装与调试等知识点,选择适宜... 详细信息
来源: 评论
“互联网+实践教学”模式研究
收藏 引用
科教文汇 2018年 第17期 3-5页
作者: 刘经纬 张宇豪 冀昊悦 李嘉欣 闵昱瑶 陈佳明 首都经济贸易大学信息学院 北京100070 首都师范大学信息工程学院 北京100048
"互联网+"时代,以慕课和翻转课堂为代表的第二代教学改革对我国高等教育产生了深远的影响,当下教师评职称诉求和压力问题、让学生想高效率学习问题、学校热门专业建设和招生问题成为了各高校面临的焦点问题。本研究提出并实现... 详细信息
来源: 评论