咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 382 篇 工学
    • 347 篇 计算机科学与技术...
    • 220 篇 软件工程
    • 60 篇 控制科学与工程
    • 40 篇 电气工程
    • 22 篇 信息与通信工程
    • 11 篇 电子科学与技术(可...
    • 9 篇 机械工程
    • 9 篇 建筑学
    • 8 篇 力学(可授工学、理...
    • 8 篇 土木工程
    • 8 篇 生物医学工程(可授...
    • 7 篇 材料科学与工程(可...
    • 7 篇 交通运输工程
    • 5 篇 仪器科学与技术
    • 5 篇 生物工程
    • 4 篇 化学工程与技术
  • 113 篇 理学
    • 93 篇 数学
    • 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

语言

  • 537 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"任意字段=4th International Conference on Algebraic and Logic Programming"
545 条 记 录,以下是421-430 订阅
排序:
Relations and Kleene Algebra in Computer Science  2006
收藏 引用
丛书名: Lecture Notes in Computer Science
2006年
作者: Renate Schmidt
来源: 评论
Runtime Verification  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Axel Legay Saddek Bensalem
this book constitutes the refereed proceedings of the 4th international conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. the 24 revised full papers presented together with 3 invi... 详细信息
来源: 评论
Discrete normalization and standardization in deterministic residual structures  5th
Discrete normalization and standardization in deterministic ...
收藏 引用
Proceedings of the 1996 5th international conference on algebraic and logic programming, ALP'96
作者: Khasidashvili, Zurab Glauert, John School of Information Systems UEA Norwich NR4 7TJ United Kingdom
We prove a version of the Standardization theorem and the Discrete Normalization theorem in stable Deterministic Residual Structures, Abstract Reduction Systems with axiomatized notions of residual, which model orthog... 详细信息
来源: 评论
LyeeBuilder
LyeeBuilder
收藏 引用
4th international conference on Software Methodologies, Tools and Techniques (SoMeT 2005)
作者: Ktari, B. Mejri, M. Godbout, D. Fujita, H. Univ Laval Dept Comp Sci & Software Engn Fac Software & Informat Sci Quebec City PQ G1K 7P4 Canada
the Lyee methodology allows the development of a software by simply defining its requirements. More precisely, a developer has only to provide words, calculation formulae, calculation conditions and layout of screens ... 详细信息
来源: 评论
Multi-agent robot learning by means of genetic programming: Solving an escape problem  4th
Multi-agent robot learning by means of genetic programming: ...
收藏 引用
4th international conference on Evolvable Systems: From Biology to Hardware, ICES 2001
作者: Yanai, Kohsuke Iba, Hitoshi Dept. of Frontier Informatics School of Frontier Science The University of Tokyo Japan
this paper presents the emergence of the cooperative behavior for multiple robot agents by means of Genetic programming (GP). For this purpose, we utilize several extended mechanisms of GP, i.e., (1) a co-evolutionary... 详细信息
来源: 评论
A methodology for object-oriented constraint programming
A methodology for object-oriented constraint programming
收藏 引用
Asia-Pacific conference on Software Engineering
作者: Hon Wai Chun Department of Electronic Engineering City University of Hong Kong Kowloon Hong Kong China
Object-oriented constraint programming (OOCP) combines two orthogonal but complementary programming paradigms into one-object-oriented programming (OOP) and logic constraint programming (LCP). Most practitioners of OO... 详细信息
来源: 评论
Non-clausal deductive techniques for computing prime implicants and prime implicates  4th
收藏 引用
4th international conference on logic programming and Automated Reasoning, LPAR 1993
作者: Ramesh, Anavai Murray, Neil V. Inst. for Programming and Logics Dept. of Computer Science State Univ. of N.Y. at Albany AlbanyNY12222 United States
Several methods to compute the prime implicants and the prime implicates of a negation normal form (NNF) formula are developed and implemented. An algorithm PI is introduced that is an extension to negation normal for... 详细信息
来源: 评论
Placing and routing circuits on FPGAs by means of parallel and distributed genetic programming  4th
Placing and routing circuits on FPGAs by means of parallel a...
收藏 引用
4th international conference on Evolvable Systems: From Biology to Hardware, ICES 2001
作者: Fernández, F. Sánchez, J.M. Tomassini, M. Departamento de Informática Escuela Politécmca Universidad de Extremadura Cáceres Spain Institut d’ Informatique Universidté de lausanne Switzerland
We present results on the application of a new methodology based on Parallel and Distributed Genetic programming (PADGP). the aim for the methodology we present is to automatically perform the placement and routing of... 详细信息
来源: 评论
Study and Implementation of Ladder logic Conversion to VHDL for Field Programmable Gate Array (FPGA)-Based Programmable logic Controllers (PLC)  4th
Study and Implementation of Ladder Logic Conversion to VHDL ...
收藏 引用
4th international conference on Microelectronics, Computing and Communication Systems, MCCS 2019
作者: Kumar, Aditya Kumar, Prashant Modi, Sompurna Nath, Vijay Department of ECE Birla Institute of Technology Mesra RanchiJharkhand835215 India Department of EEE Birla Institute of Technology Mesra RanchiJharkhand835215 India
Programmable logic Controller (PLC) is commonly used in the modern era of manufacturing and industrial automation. PLC can be programmed in three ways: Ladder logic, function block diagram, and sequential function cha... 详细信息
来源: 评论
Architecture and evaluation of a Reduction-based Parallel Inference Machine: PIM-R  4th
收藏 引用
4th international conference on logic programming, 1985
作者: Onai, Rikio Shimizu, Hajime Masuda, Kanae Matsumoto, Akira Aso, Moritoshi Institute for New Generation Computer Technology Mita Kokusai Bldg. 21F 4-28 Mita 1-Chome Minato-ku Tokyo108 Japan NTT Basic Research Laboratories 3-9-11 Midori-cho Musashino-shi Tokyo180 Japan Mitsubishi Electric Corporation Computer Works New Product Development Dept. 325 Kamimachiya Kamakura-shi Kanagawa247 Japan
this paper proposes a Reduction-based Parallel Inference Machine: PIM-R and describes the architecture and its evaluation using two kinds of software simulators. Target languages of PIM-R are Prolog and Concurrent Pro... 详细信息
来源: 评论