咨询与建议

限定检索结果

文献类型

  • 388 篇 会议
  • 20 册 图书
  • 12 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 288 篇 工学
    • 275 篇 计算机科学与技术...
    • 184 篇 软件工程
    • 29 篇 电气工程
    • 19 篇 信息与通信工程
    • 16 篇 控制科学与工程
    • 7 篇 电子科学与技术(可...
    • 4 篇 机械工程
    • 3 篇 生物工程
    • 3 篇 安全科学与工程
    • 1 篇 仪器科学与技术
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 石油与天然气工程
    • 1 篇 交通运输工程
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
  • 67 篇 理学
    • 53 篇 数学
    • 9 篇 系统科学
    • 7 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 3 篇 物理学
  • 31 篇 管理学
    • 19 篇 管理科学与工程(可...
    • 13 篇 图书情报与档案管...
    • 9 篇 工商管理
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学

主题

  • 95 篇 logic programmin...
  • 19 篇 fuzzy logic
  • 18 篇 artificial intel...
  • 14 篇 linear programmi...
  • 13 篇 semantics
  • 12 篇 logic gates
  • 11 篇 computer circuit...
  • 11 篇 programming
  • 11 篇 mathematical log...
  • 10 篇 programming lang...
  • 10 篇 logics and meani...
  • 8 篇 programming tech...
  • 7 篇 computer archite...
  • 7 篇 computer program...
  • 7 篇 computer program...
  • 6 篇 object oriented ...
  • 6 篇 model checking
  • 6 篇 software enginee...
  • 6 篇 answer set progr...
  • 5 篇 genetic programm...

机构

  • 3 篇 univ minho ctr a...
  • 2 篇 telecommunicatio...
  • 2 篇 univ mediterrane...
  • 2 篇 xidian univ inst...
  • 2 篇 dept. of electri...
  • 2 篇 dept. of biomedi...
  • 2 篇 univ potsdam pot...
  • 2 篇 univ orleans lab...
  • 2 篇 queensland unive...
  • 2 篇 univ paris 06 li...
  • 2 篇 xidian univ isn ...
  • 2 篇 chinese acad sci...
  • 2 篇 department of in...
  • 2 篇 institute of inf...
  • 2 篇 department of co...
  • 2 篇 dipartimento di ...
  • 2 篇 univ americas pu...
  • 2 篇 dept. of electri...
  • 2 篇 univ technol syd...
  • 2 篇 chinese univ hon...

作者

  • 6 篇 schaub torsten
  • 4 篇 vicente henrique
  • 3 篇 brezillon patric...
  • 3 篇 pereira luís mon...
  • 3 篇 anon
  • 3 篇 faber wolfgang
  • 3 篇 neves jose
  • 3 篇 damásio carlos v...
  • 2 篇 suzuki taro
  • 2 篇 a.r. gray
  • 2 篇 saubion frédéric
  • 2 篇 bruynooghe mauri...
  • 2 篇 leone nicola
  • 2 篇 karali i
  • 2 篇 sakama chiaki
  • 2 篇 gebser martin
  • 2 篇 ojeda-aciego man...
  • 2 篇 codish michael
  • 2 篇 hofstedt petra
  • 2 篇 ida tetsuo

语言

  • 416 篇 英文
  • 2 篇 其他
  • 1 篇 法文
  • 1 篇 中文
检索条件"任意字段=6th Conference on Logic Programming, 1987"
420 条 记 录,以下是21-30 订阅
排序:
Comparing the Effort Estimated By Different Models  6
Comparing the Effort Estimated By Different Models
收藏 引用
6th International conference on Advanced Computing and Communication Systems (ICACCS)
作者: Jha, Mayank Jha, Richa Citicorp Serv India Ltd Pune Maharashtra India FIS Solut India Pvt Ltd Pune Maharashtra India
Management of project software starts with a collection of activities referred to as project planning procedure. A company's team must decide the work to be done, the resources to be reorganized and a time from be... 详细信息
来源: 评论
Effectiveness of the jigsaw method in teaching programmable logic controller  6
Effectiveness of the jigsaw method in teaching programmable ...
收藏 引用
6th International conference on e-Learning, ICEL 2020
作者: Darusman, Abu Hassan Bin Omar, Yuhanis Binti Industrial Automation Section Universiti Kuala Lumpur Malaysia France Institute Bandar Baru Bangi Malaysia Information System Section Universiti Kuala Lumpur Malaysian Institute of Information Technnology Kuala Lumpur Malaysia
Student-Centered Learning is a must in the Teaching & Learning delivery method for any engineering technology courses as outlined in the Engineering Technology Programme Accreditation Standard 2020. the aim of thi... 详细信息
来源: 评论
the Optimization and Enhancement of Network Intrusion Detection through Fuzzy Association Rules  6
The Optimization and Enhancement of Network Intrusion Detect...
收藏 引用
6th International conference on Technical Education (ICTechEd) / 11th National conference on Technical Education (NCTechEd)
作者: Boonyopakorn, Pongsarun KMUTNB Fac Informat Technol Dept Data Commun & Networking Bangkok Thailand
the objective of this paper is to analyze network security using a modification of fuzzy logic and association rule data mining base on genetic network programming (GNP) evaluations. the application of fuzzy set theor... 详细信息
来源: 评论
LP Based Integration of Computing and Science Education in Middle Schools  19
LP Based Integration of Computing and Science Education in M...
收藏 引用
4th ACM conference on Global Computing Education (CompEd)
作者: Zhang, Yuanlin Wang, Jianlan Bolduc, Fox Murray, William G. Texas Tech Univ Lubbock TX 79409 USA
there is a consensus on integrating computing with STEM teaching in K-12. However, very little is known about the integration. In this paper, we propose a novel framework for integrating science and computational thin... 详细信息
来源: 评论
Introducing a novel multi-objective optimization model for vehicle routing and relief supply distribution in post-disaster phase: combining fuzzy inference systems with NSGA-II and NRGA
Introducing a novel multi-objective optimization model for v...
收藏 引用
International conference on Transportation Information and Safety (ICTIS)
作者: Peyman Rabiei Daniel Arias-Aranda Faculty of Economics and Business University of Granada Shiraz Iran Faculty of Economics and Business University of Granada Granada Spain
Each year, natural disasters cause many life losses as well as countless damages all over the world. So, implementing an efficient and effective relief supply distribution system to save human lives is of vital import... 详细信息
来源: 评论
Orion - A Novel programming Platform for Honing logical Abilities
Orion - A Novel Programming Platform for Honing Logical Abil...
收藏 引用
International conference on Advanced Computing and Communication Systems (ICACCS)
作者: Dharmil Khandhar Raj Parekh Meera Narvekar Information Technology Dwarkadas J. Sanghvi College of Engineering (Autonomous College Affiliated to University of Mumbai) Mumbai India Computer Engineering Dwarkadas J. Sanghvi College of Engineering (Autonomous College Affiliated to University of Mumbai) Mumbai India
In this digital era with hundreds of aspiring programmers, there are numerous platforms and sources to learn and master any of the hundreds of programming languages. In spite of this, the logic-cracking skills require... 详细信息
来源: 评论
Virtual Reality and logic programming as Assistance in Architectural Design  6th
Virtual Reality and Logic Programming as Assistance in Archi...
收藏 引用
6th International conference on Augmented Reality, Virtual Reality and Computer Graphics (SALENTO AVR)
作者: Strugala, Dominik Walczak, Krzysztof Poznan Univ Econ & Business Niepodleglosci 10 PL-61875 Poznan Poland
In this paper, we describe a new approach to designing architectural spaces, called SADE, in which virtual reality and logic programming techniques are used to support and simplify the architectural design process. In... 详细信息
来源: 评论
logic for programming and Automated Reasoning : 6th International conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999 : Proceedings
收藏 引用
2016年
作者: h. ganzinger
logic for programming and Automated Reasoning : 6th International conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999 : Proceedings by Lpar '99 (1999 : Tʻbilisi, Georgia); Ganzinger, H. (Harald), 1950-... 详细信息
来源: 评论
2019 IEEE Latin American conference on Computational Intelligence, LA-CCI 2019
2019 IEEE Latin American Conference on Computational Intelli...
收藏 引用
6th IEEE Latin American conference on Computational Intelligence, LA-CCI 2019
the proceedings contain 45 papers. the topics discussed include: hierarchical cluster analysis of interval-valued data using width of range Euclidean distance;a comparative study on the numerical performance of kaizen...
来源: 评论
6th International conference on Augmented Reality, Virtual Reality and Computer Graphics, SALENTO AVR 2019
6th International Conference on Augmented Reality, Virtual R...
收藏 引用
6th International conference on Augmented Reality, Virtual Reality and Computer Graphics, SALENTO AVR 2019
the proceedings contain 67 papers. the special focus in this conference is on Augmented Reality, Virtual Reality and Computer Graphics. the topics include: Virtual simulator for the taking and evaluation of psychometr...
来源: 评论