咨询与建议

限定检索结果

文献类型

  • 416 篇 会议
  • 38 篇 期刊文献
  • 18 册 图书

馆藏范围

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

日期分布

学科分类号

  • 328 篇 工学
    • 313 篇 计算机科学与技术...
    • 198 篇 软件工程
    • 30 篇 电气工程
    • 24 篇 控制科学与工程
    • 17 篇 信息与通信工程
    • 9 篇 机械工程
    • 7 篇 电子科学与技术(可...
    • 5 篇 安全科学与工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 2 篇 测绘科学与技术
  • 77 篇 理学
    • 57 篇 数学
    • 13 篇 系统科学
    • 10 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 4 篇 物理学
    • 1 篇 地质学
  • 29 篇 管理学
    • 21 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 8 篇 图书情报与档案管...
  • 5 篇 医学
    • 4 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 文学
    • 1 篇 外国语言文学
    • 1 篇 新闻传播学
  • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学

主题

  • 104 篇 logic programmin...
  • 22 篇 fuzzy logic
  • 16 篇 artificial intel...
  • 15 篇 semantics
  • 12 篇 object oriented ...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 software enginee...
  • 11 篇 logic gates
  • 11 篇 linear programmi...
  • 9 篇 computer circuit...
  • 9 篇 programming tech...
  • 9 篇 hardware
  • 9 篇 dynamic programm...
  • 8 篇 programming lang...
  • 8 篇 logics and meani...
  • 8 篇 logic design
  • 7 篇 logic
  • 7 篇 probabilistic lo...
  • 6 篇 access control

机构

  • 4 篇 vienna univ tech...
  • 3 篇 suny stony brook...
  • 2 篇 school of automo...
  • 2 篇 univ nova lisboa...
  • 2 篇 univ calif river...
  • 2 篇 univ bologna dei...
  • 2 篇 school of comput...
  • 2 篇 department of co...
  • 2 篇 information and ...
  • 2 篇 univ cagliari di...
  • 2 篇 ibm tokyo resear...
  • 2 篇 labmag lisbon
  • 2 篇 wroclaw univ tec...
  • 2 篇 calif state poly...
  • 2 篇 univ kentucky de...
  • 2 篇 shenzhen tourism...
  • 2 篇 univ texas dept ...
  • 1 篇 new mexico state...
  • 1 篇 dept. computersc...
  • 1 篇 k.u. leuven depa...

作者

  • 4 篇 pereira lm
  • 3 篇 truszczynski m
  • 3 篇 swift t
  • 3 篇 lifschitz v
  • 3 篇 alferes jj
  • 3 篇 vojtás p
  • 3 篇 marriott kim
  • 2 篇 deschreye d
  • 2 篇 schuerman kees
  • 2 篇 pinna g. michele
  • 2 篇 medina j
  • 2 篇 montali marco
  • 2 篇 bruynooghe mauri...
  • 2 篇 przymusinski tc
  • 2 篇 li liang-liang
  • 2 篇 véron andré
  • 2 篇 bartoletti massi...
  • 2 篇 cui bq
  • 2 篇 sideri m
  • 2 篇 cimoli tiziana

语言

  • 466 篇 英文
  • 4 篇 其他
  • 1 篇 法文
  • 1 篇 俄文
检索条件"任意字段=5th Conference on Logic Programming, 1986"
472 条 记 录,以下是201-210 订阅
排序:
More than Structured programming in Primary School Syllabus  2nd
More Than Structured Programming in Primary School Syllabus
收藏 引用
22nd International conference on Interactive Collaborative Learning (ICL) / 48th IGIP International conference on Engineering Pedagogy - Impact of the 4th Industrial Revolution on Engineering Education
作者: Fatourou, Eleni Zygouris, Nikolaos C. Loukopoulos, Athanasios Stamoulis, Georgios, I Vavougios, Denis Dept Comp Sci & Telecommun 2-4 Papasiopoulou St Lamia 35100 Greece Dept Comp Sci & Bioinformat 2-4 Papasiopoulou St Lamia 35100 Greece Univ Thessaly Elect & Comp Engn Dept 37 Glavani St Volos 38221 Greece Univ Thessaly Dept Special Educ Volos 38221 Greece
Computer programming was introduced to primary schools by many countries with the aim of advancing logic and algorithmic thinking of students. the bulk of a typical syllabus (e.g., in the case of Greece) for computer ... 详细信息
来源: 评论
Prime factorizations of abstract domains using first-order logic  5th
Prime factorizations of abstract domains using first-order l...
收藏 引用
5th International conference on Algebraic and logic programming, ALP 1996
作者: Marchiori, Elena CWI P.O. Box 94079 Amsterdam1090 GB Netherlands University of Leiden P.O. Box 9512 Leiden2300 RA Netherlands
A methodology is introduced based on first-order logic, for the design and decomposition of abstract domains for abstract interpretation. First, an assertion language is chosen that describes the properties of interes... 详细信息
来源: 评论
Extending disjunctive logic programming by T-norms  5th
收藏 引用
5th International conference on logic programming and Nonmonotonic Reasoning (LPNMR 99)
作者: Mateis, C Vienna Univ Technol Dept Informat Syst A-1040 Vienna Austria
this paper proposes a new knowledge representation language, called QDLP, which extends DLP to deal with uncertain values. A certainty degree interval (a subinterval of [0, 1]) is assigned to each (quantitative) rule.... 详细信息
来源: 评论
Cartesian Genetic programming with Guided and Single Active Mutations for Designing Combinational logic Circuits  5th
Cartesian Genetic Programming with Guided and Single Active ...
收藏 引用
5th International conference on Machine Learning, Optimization, and Data Science (LOD)
作者: da Silva, Jose Eduardo H. de Souza, Lucas A. M. Bernardino, Heder S. Univ Fed Juiz de Fora Juiz De Fora MG Brazil
the design of digital circuits using Cartesian Genetic programming (CGP) has been widely investigated but the evolution of complex combinational logic circuits is a hard task for CGP. We introduce here a new mutation ... 详细信息
来源: 评论
Model checking security protocols using a logic of belief
Model checking security protocols using a logic of belief
收藏 引用
6th International conference on Tools and Algorithms for the Construction and Analysis of Systems at the European conference on theory and Practice of Software
作者: Benerecetti, M Giunchiglia, F Univ Trent DISA I-38050 Trent Italy Ist Trentino Cultura IRST I-38050 Trent Italy
In this paper we show how model checking can be used for the verification of security protocols using a logic of belief. We model principals as processes able to have beliefs. the idea underlying the approach is to tr... 详细信息
来源: 评论
Granular Computing and imperfect data in ILP
Granular Computing and imperfect data in ILP
收藏 引用
5th Joint conference on Information Sciences (JCIS 2000)
作者: Liu, C Zhong, N Beijing Polytech Univ Sch Comp Sci Beijing 100022 Peoples R China
Inductive logic programming (11,P), as any other machine learning or KDD methods, has to deal with imperfect data when applied to real-world problems. Granular Computing (GrC) is a superset of various theories (such a... 详细信息
来源: 评论
ENASE 2010 - Proceedings of the 5th International conference on Evaluation of Novel Approaches to Software Engineering
ENASE 2010 - Proceedings of the 5th International Conference...
收藏 引用
5th International conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2010
the proceedings contain 35 papers. the topics discussed include: the evolving relationship between business and information systems;mental distance - and its implications for software and data design for e-business;de...
来源: 评论
Automated Reasoning - 5th International Joint conference, IJCAR 2010, Proceedings
Automated Reasoning - 5th International Joint Conference, IJ...
收藏 引用
5th International Joint conference on Automated Reasoning, IJCAR 2010
the proceedings contain 42 papers. the topics discussed include: curry-style explicit substitutions for the linear and affine lambda calculus;beluga: a framework for programming and reasoning with deductive systems (s...
来源: 评论
Algebra and Coalgebra in Computer Science - 5th International conference, CALCO 2013, Proceedings
Algebra and Coalgebra in Computer Science - 5th Internationa...
收藏 引用
5th International conference on Algebra and Coalgebra in Computer Science, CALCO 2013
the proceedings contain 29 papers. the topics discussed include: exploiting algebraic laws to improve mechanized axiomatizations;positive fragments of coalgebraic logics;many-valued relation lifting and moss' coal...
来源: 评论
logic Design as an Enabler to Python programming Language Teaching  5
Logic Design as an Enabler to Python Programming Language Te...
收藏 引用
5th PAnhellenic conference on Electronics and Telecommunications (PACET)
作者: Velaora, Chrysoula Kakarountas, Athanasios Univ Thessaly Dept Comp Sci & Biomed Informat Lamia Greece
In this article the contribution of experiential learning, gamification and emerging technologies to Python programming language teaching is attempted to be sketched. Four scenarios were designed in order to constitut... 详细信息
来源: 评论