咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是381-390 订阅
排序:
Formal verification of ST programs using CSP  4
Formal verification of ST programs using CSP
收藏 引用
2021 4th international conference on Computer Information Science and Application Technology, CISAT 2021
作者: Zhou, Qibin Cai, Fangda Yang, Yang Wu, Changshun Shanghai Jianqiao University Shanghai201306 China East China Normal University Shanghai200062 China Shanghai Formal-Tech Information Technology Co. Ltd. Shanghai200333 China
Programmable logic Controllers (PLCs) are embedded devices that are widely used in industrial control systems. PLC programs are written in special languages that are defined in the IEC 61131-3 standard, which includes... 详细信息
来源: 评论
Neutralization and preemption in extended logic programs  4th
收藏 引用
4th international conference on logic programming and Automated Reasoning, LPAR 1993
作者: Wagner, Gerd Gruppe Logik Wissenstheorie und Information Institut für Philosphie Freie Universität Berlin Habelschwerdter Allee 30 Berlin 331000 Germany
Extended logic programs allow for negative conclusions in rules. So, the question of how to deal with contradictions arises. the trivialization (or ‘explosion’) approach of classical logic, according to which everyt... 详细信息
来源: 评论
A GIS application to enhance cell-based information modeling
收藏 引用
INFORMATION SCIENCES 2002年 第1-4期142卷 151-160页
作者: Benedikt, J Reinberg, S Riedl, L Geologic A-1080 Vienna Austria Vienna Univ Technol Dept Reg Sci A-1040 Vienna Austria
Maps have been major sources of information for a long time. Geographic Information Systems (GIS) use digital data, elevation models, satellite images, expert systems and related open source information for planning, ... 详细信息
来源: 评论
An extension of dynamic logic for modelling OCL's @pre operator
An extension of dynamic logic for modelling OCL's @pre opera...
收藏 引用
4th international Andrei Ershov Memorial conference on "Perspectives of System Informatics", PSI 2001
作者: Baar, thomas Beckert, Bernhard Schmitt, Peter H. Fakultät für Informatik Institut für Logik Komplexität und Deduktionssysteme Universität Karlsruhe Am Fasanengarten 5 D-76128 Karlsruhe Germany
We consider first-order Dynamic logic (DL) with non-rigid functions, which can be used to model certain features of programming languages such as array variables and object attributes. We extend this logic by introduc... 详细信息
来源: 评论
Explicit Solution of Parameter Estimate using Multiparametric programming for Boost Converter  4
Explicit Solution of Parameter Estimate using Multiparametri...
收藏 引用
4th international conference on Emerging Electrical Energy, Electronics and Computing, ICE4CT 2022
作者: Mid, E.C. Mukhtar, N.M. Syed Yunus, S.H. Hadi, D.A. Ruslan, E. Fakulti Kejuruteraan & Teknologi Elektrik Universiti Malaysia Perlis Kampus Pauh Putra Arau Perlis02600 Malaysia Fakulti Kejuruteraan & Teknologi Elektrik Universiti Malaysia Perlis Kampus Pauh Putra Arau Perlis02600 Malaysia Fakulti Teknologi Kejuruteraan Elektrik Dan Elektronik Kampus Teknologi Universiti Teknikal Malaysia Melaka Hang Tuah Jaya Durian Tunggal Melaka76100 Malaysia
this work proposes an approach to estimate the parameters of capacitance and inductance in a boost converter using an explicit solution. A multiparametric programming (MPP) algorithm is fundamental to the suggested me... 详细信息
来源: 评论
On the Problem of Development of Methods and Algorithms Based on the Object-Oriented logic programming for Intelligent Video Monitoring of Laboratory Rats  4
On the Problem of Development of Methods and Algorithms Base...
收藏 引用
4th international conference on Information Technology and Nanotechnology - Session: Image Processing and Earth Remote Sensing, IPERS-ITNT 2018
作者: Morozov, A.A. Sushkova, O.S. Kotel'Nikov Institute of Radio Engineering and Electronics of RAS Mokhovaya str. 11-7 Moscow125009 Russia
the problem of the video monitoring the laboratory rats by the means of the object-oriented logic programming is considered. the main task of the video monitoring is the analysis of the behavior of the animals in cogn... 详细信息
来源: 评论
4th international conference on Fundamental Approaches to Software Engineering, FASE 2001 Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2001
收藏 引用
4th international conference on Fundamental Approaches to Software Engineering, FASE 2001, Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2001
the proceedings contain 24 papers. the special focus in this conference is on Distributed Components, UML, Testing and Formal Methods. the topics include: Metamodelling and conformance checking with PVS;proving deadlo...
来源: 评论
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... 详细信息
来源: 评论
Verified Software: theories, Tools, Experiments  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Rajeev Joshi Peter Müller Andreas Podelski
this volume contains the proceedings of the 4th international conference on Verified Software: theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. the 20 revised full papers p... 详细信息
来源: 评论
Implementing global constraints with index-sets and constraint templates  4th
收藏 引用
4th international conference on Principles and Practice of Constraint programming (CP 98)
作者: Colombani, Y Dash Associates Leamington Spa CV32 5TH England
In order to improve the deductive power of ffinite domain constraint solvers usually redundant and global constraints are added to the constraint system. the objective of this work [2] is to develop a new constraint s... 详细信息
来源: 评论