咨询与建议

限定检索结果

文献类型

  • 494 篇 会议
  • 29 篇 期刊文献
  • 24 册 图书

馆藏范围

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

日期分布

学科分类号

  • 383 篇 工学
    • 348 篇 计算机科学与技术...
    • 220 篇 软件工程
    • 61 篇 控制科学与工程
    • 40 篇 电气工程
    • 22 篇 信息与通信工程
    • 11 篇 电子科学与技术(可...
    • 10 篇 机械工程
    • 9 篇 力学(可授工学、理...
    • 9 篇 建筑学
    • 8 篇 土木工程
    • 8 篇 生物医学工程(可授...
    • 7 篇 材料科学与工程(可...
    • 7 篇 交通运输工程
    • 5 篇 仪器科学与技术
    • 5 篇 生物工程
    • 4 篇 化学工程与技术
  • 114 篇 理学
    • 94 篇 数学
    • 13 篇 系统科学
    • 12 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 10 篇 生物学
  • 29 篇 管理学
    • 17 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 12 篇 医学
    • 10 篇 基础医学(可授医学...
    • 10 篇 临床医学
    • 7 篇 药学(可授医学、理...
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 农学

主题

  • 88 篇 logic programmin...
  • 24 篇 computer circuit...
  • 20 篇 fuzzy logic
  • 16 篇 semantics
  • 15 篇 programming
  • 15 篇 mathematical log...
  • 15 篇 logics and meani...
  • 14 篇 artificial intel...
  • 13 篇 programming lang...
  • 12 篇 linear programmi...
  • 12 篇 programming tech...
  • 11 篇 formal logic
  • 11 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 logic
  • 9 篇 genetic programm...
  • 9 篇 algebra
  • 9 篇 functional progr...
  • 8 篇 web services
  • 7 篇 programmable log...

机构

  • 3 篇 cwi p.o. box 940...
  • 2 篇 sri int menlo pk...
  • 2 篇 huelva universit...
  • 2 篇 department of co...
  • 2 篇 trinity coll dub...
  • 2 篇 ctr wiskunde & i...
  • 2 篇 computer science...
  • 2 篇 hanoi univ techn...
  • 2 篇 department of me...
  • 2 篇 università di pi...
  • 2 篇 applied mathemat...
  • 2 篇 fujitsu laborato...
  • 2 篇 dept. of informa...
  • 2 篇 industrial depar...
  • 2 篇 department of ma...
  • 2 篇 department of el...
  • 2 篇 univ munich inst...
  • 2 篇 faculty of elect...
  • 2 篇 univ kent canter...
  • 2 篇 vienna univ tech...

作者

  • 3 篇 osorio m
  • 2 篇 riedl l
  • 2 篇 ortiz m
  • 2 篇 yu yong
  • 2 篇 kurz a
  • 2 篇 casadei roberto
  • 2 篇 kahl wolfram
  • 2 篇 schobbens pierre...
  • 2 篇 hennicker r
  • 2 篇 ray oliver
  • 2 篇 le van hung
  • 2 篇 kifer michael
  • 2 篇 bidoit m
  • 2 篇 lin ying
  • 2 篇 zhao na
  • 2 篇 moto-oka t.
  • 2 篇 stehr mark-olive...
  • 2 篇 zhang xuan
  • 2 篇 pianini danilo
  • 2 篇 jaffar joxan

语言

  • 532 篇 英文
  • 14 篇 其他
  • 1 篇 中文
检索条件"任意字段=4th International Conference on Algebraic and Logic Programming"
547 条 记 录,以下是101-110 订阅
IEEE 4th international conference on Soft Computing and Machine Intelligence, ISCMI 2017
IEEE 4th International Conference on Soft Computing and Mach...
收藏 引用
4th IEEE international conference on Soft Computing and Machine Intelligence, ISCMI 2017
the proceedings contain 40 papers. the topics discussed include: quality assessment of large scale dimensionality reduction methods;integrating data science and R programming at an early stage;improvement algorithms o...
来源: 评论
2017 4th international conference on Power, Control and Embedded Systems, ICPCES 2017
2017 4th International Conference on Power, Control and Embe...
收藏 引用
4th international conference on Power, Control and Embedded Systems, ICPCES 2017
the proceedings contain 60 papers. the topics discussed include: a comparative study of junctionless dual material double gate silicon on insulator (SOI) and silicon on nothing (SON) MOSFET;performance analysis of thr...
来源: 评论
Proceedings - 2017 7th World Engineering Education Forum, WEEF 2017- In Conjunction with: 7th Regional conference on Engineering Education and Research in Higher Education 2017, RCEE and RHEd 2017, 1st international STEAM Education conference, STEAMEC 2017 and 4th Innovative Practices in Higher Education Expo 2017, I-PHEX 2017
Proceedings - 2017 7th World Engineering Education Forum, WE...
收藏 引用
7th World Engineering Education Forum, WEEF 2017
the proceedings contain 168 papers. the topics discussed include: how ready is renewable energy? a review on renewable energy and fuel cell teaching in schools;critical thinking and problem solving skills among engine...
来源: 评论
4th international conference on HCI in Business, Government and Organizations, HCIBGO 2017, held as part of the 19th international conference on Human-Computer Interaction , HCI 2017
4th International Conference on HCI in Business, Government ...
收藏 引用
14th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2017
the proceedings contain 66 papers. the special focus in this conference is on HCI in Business, Government and Organizations. the topics include: Sharing economy versus access economy;employing relation visualizations ...
来源: 评论
15th international conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017
15th International Conference on Practical Applications of A...
收藏 引用
4th international conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017
the proceedings contain 40 papers. the special focus in this conference is on Practical Applications of Agents and Multi-Agent Systems. the topics include: Concept of a multi agent based decentralized production syste...
来源: 评论
programming and testing a PLC to control a scalable industrial plant in remote way
Programming and testing a PLC to control a scalable industri...
收藏 引用
Experiment@ international conference (exp.at)
作者: Marco Márquez Andrés Mejías Reyes Herrera José Manuel Andújar Huelva University Spain
this paper presents a scalable industrial plant which puts plug and label to bottles. It is controlled by a commercial programmable logic controller (PLC). To do that, the plant has two conveyor belts. the first one g... 详细信息
来源: 评论
K: A Wide Spectrum Language for Modeling, programming and Analysis  4
K: A Wide Spectrum Language for Modeling, Programming and An...
收藏 引用
4th international conference on Model-Driven Engineering and Software Development (MODELSWARD)
作者: Havelund, Klaus Kumar, Rahul Delp, Chris Clement, Bradley CALTECH Jet Prop Lab 4800 Oak Grove Dr Pasadena CA 91125 USA
the formal methods community has over the years proposed various formally founded specification languages based on predicate logic and set theory, typically with textual notations. At the same time the model-based eng... 详细信息
来源: 评论
ASSESSMENT OF RELATEDNESS TO A GIVEN SOLUTION IN 3D FABRICATION AND PROTOTYPING EDUCATION  4
ASSESSMENT OF RELATEDNESS TO A GIVEN SOLUTION IN 3D FABRICAT...
收藏 引用
4th international conference on Design Creativity,Georgia Institute of Technology
作者: Georgiev, G., V Oja, M. Sanchez, I Pyykkonen, M. Leppanen, T. Ylioja, J. van Berkel, N. Riekki, J. Univ Oulu Ctr Ubiquitous Comp Oulu Finland
this study outlines initial steps to define a new framework to measure relatedness, originality and creativity of student projects in FabLab environment. A default project topic provided to students in a 3D fabricatio... 详细信息
来源: 评论
4th Workshop on Computer Games, CGW 2015
4th Workshop on Computer Games, CGW 2015
收藏 引用
4th Workshop on Computer Games, CGW 2015 and 4th Workshop on General Intelligence in Game-Playing Agents, GIGA 2015 held in Conjunction with 24th international conference on Artificial Intelligence, IJCAI 2015
the proceedings contain 12 papers. the special focus in this conference is on Computer Games. the topics include: Challenges and progress on using large lossy endgame databases in Chinese checkers;sequential halving f...
来源: 评论
Optimal Trajectory Planning for Multiphase Lunar Landing
Optimal Trajectory Planning for Multiphase Lunar Landing
收藏 引用
4th IFAC conference on Advances in Control and Optimization of Dynamical Systems (ACODS 2016)
作者: Mathavaraj, S. Pandiyan, R. Padhi, R. ISRO Satellite Ctr FDG ADD Bangalore Karnataka India ISRO Satellite Ctr FDG Bangalore Karnataka India Indian Inst Sci Dept Aerosp Engn Bangalore Karnataka India
Lunar landing problem is formulated as an optimal control problem and has been solved by Legendre Pseudospectral method. the landing problem is split into various stages to take into account various mission constraint... 详细信息
来源: 评论