咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是391-400 订阅
排序:
Reachability in conditional term rewriting systems
Reachability in conditional term rewriting systems
收藏 引用
FTP'2003, 4th international Workshop on First-Order theorem Proving (in Connection with RDP'03, Federated conference on Rewriting, Deduction
作者: Feuillade, Guillaume Genet, thomas IRISA Université de Rennes 1 and ENS Cachan Campus de Beaulieu F-35042 Rennes
In this paper, we study the reachability problem for conditional term rewriting systems. Given two ground terms s and t, our practical aim is to prove s &rarrR* t for some join conditional term rewriting system R ... 详细信息
来源: 评论
A logic programming based specification animation tool for real-time systems
A logic programming based specification animation tool for r...
收藏 引用
4th IEEE Region 10th international conference - TENCON '89
作者: Mitra, S. Bhattacharyya, G. Ghoshal, T.K. Datta, K. Sengupta, R. Electr Eng Dept Jadavpur Univ Calcutta India
During elicitation and verification of specification for real time control systems the sequential-temporal aspects need to be treated separately. these aspects also require animation for verification and incremental r... 详细信息
来源: 评论
KEOD 2012 - Proceedings of the international conference on Knowledge Engineering and Ontology Development
KEOD 2012 - Proceedings of the International Conference on K...
收藏 引用
4th international conference on Knowledge Engineering and Ontology Development, KEOD 2012
the proceedings contain 70 papers. the topics discussed include: extracting semantically enriched events from the literature;parallel coordinates - visual multidimensional geometry and its applications;Internet of thi...
来源: 评论
Optimized translation of multi modal logic into predicate logic  4th
收藏 引用
4th international conference on logic programming and Automated Reasoning, LPAR 1993
作者: Ohlbach, Hans Jürgen Max-Planck-Institut für Informatik Im Stadtwald Saarbrücken 116600 Germany
the functional translation from modal logic into first-order predicate logic is revised. Quantifier elimination of second-order predicates is used to translate almost arbitrary modal systems, i.e. not only modal formu... 详细信息
来源: 评论
the solution of an integer problem based on geometric method
The solution of an integer problem based on geometric method
收藏 引用
4th international conference on Frontiers of Manufacturing and Design Science (ICFMD 2013)
作者: Zhou, Jiamin Guo, Jinrui Yang, Rener Li, Weihua Ningbo Univ Coll Informat Sci & Engn Ningbo 315211 Zhejiang Peoples R China Ningbo Univ Coll Sci Ningbo 315000 Peoples R China
this paper studies the integer solution of the Markowitz mean-variance model. To avoid solving the quadratic equation with constraints directly, it uses geometric linear approximate method, and gives a practical and e... 详细信息
来源: 评论
4th international conference on Text, Speech and Dialogue, TSD 2001
收藏 引用
4th international conference on Text, Speech and Dialogue, TSD 2001
the proceedings contain 59 papers. the special focus in this conference is on Text, Speech and Dialogue. the topics include: Knowledge sources for word sense disambiguation;the current status of the Prague dependency ...
来源: 评论
Business logic Evaluation Model for Web Service Reliability Analysis
Business Logic Evaluation Model for Web Service Reliability ...
收藏 引用
4th international conference on Network Security and Applications (CNSA 2011)
作者: thirumaran, M. Dhavachelvan, P. Abarna, S. Lakshmi, P. Pondicherry Engn Coll Dept Comp Sci & Engn Pondicherry India Pondicherry Univ Dept Comp Sci Pondicherry India
the business logic of a system plays a major role in this ever changing age defined by global competition, rampant change, faster flow of information and communication, increasing business complexity. Business parties... 详细信息
来源: 评论
4th international conference on Computers and Learning, ICCAL 1992
收藏 引用
4th international conference on Computers and Learning, ICCAL 1992
the proceedings contain 51 papers. the special focus in this conference is on Computers and Learning. the topics include: Why hypermedia systems are important;project CALC: calculus as a laboratory course;the structur...
来源: 评论
Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis  4th
收藏 引用
4th international conference on logic programming, 1985
作者: Fujita, Masahiro Ishisone, Makoto Nakamura, Hiroshi Tanaka, Hidehiko Moto-oka, Tohru Faculty of engineering University of Tokyo 7-3-1 Hongo Bunkyo_ku Tokyo113 Japan Fujitsu Laboratories Ltd. Japan
To date, simulation has been the primary method used to support hardware logic design. In particular, there has been little that could support such design from the system level, such as a language to describe processi... 详细信息
来源: 评论
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...
来源: 评论