咨询与建议

限定检索结果

文献类型

  • 2,946 篇 会议
  • 97 篇 期刊文献
  • 9 册 图书
  • 2 篇 学位论文

馆藏范围

  • 3,052 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 1,931 篇 工学
    • 1,454 篇 计算机科学与技术...
    • 822 篇 软件工程
    • 383 篇 电气工程
    • 255 篇 控制科学与工程
    • 104 篇 信息与通信工程
    • 59 篇 机械工程
    • 57 篇 交通运输工程
    • 47 篇 电子科学与技术(可...
    • 38 篇 石油与天然气工程
    • 33 篇 核科学与技术
    • 31 篇 材料科学与工程(可...
    • 26 篇 生物工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 动力工程及工程热...
    • 20 篇 仪器科学与技术
    • 20 篇 土木工程
    • 15 篇 建筑学
  • 519 篇 理学
    • 369 篇 数学
    • 85 篇 物理学
    • 62 篇 系统科学
    • 57 篇 统计学(可授理学、...
    • 44 篇 生物学
  • 211 篇 管理学
    • 177 篇 管理科学与工程(可...
    • 63 篇 工商管理
    • 43 篇 图书情报与档案管...
  • 77 篇 医学
    • 68 篇 临床医学
    • 46 篇 特种医学
    • 15 篇 基础医学(可授医学...
  • 41 篇 教育学
    • 39 篇 教育学
  • 31 篇 法学
    • 27 篇 社会学
  • 16 篇 经济学
  • 8 篇 农学
  • 5 篇 文学
  • 5 篇 艺术学
  • 3 篇 哲学
  • 1 篇 军事学

主题

  • 274 篇 logic gates
  • 236 篇 fuzzy logic
  • 172 篇 probabilistic lo...
  • 153 篇 programming
  • 139 篇 linear programmi...
  • 110 篇 logic programmin...
  • 88 篇 dynamic programm...
  • 86 篇 optimization
  • 71 篇 computer science
  • 69 篇 programming prof...
  • 69 篇 computational mo...
  • 67 篇 mathematical mod...
  • 58 篇 integer programm...
  • 58 篇 uncertainty
  • 54 篇 semantics
  • 50 篇 computer archite...
  • 50 篇 logic
  • 44 篇 genetic programm...
  • 43 篇 computer program...
  • 43 篇 vehicles

机构

  • 6 篇 hitachi ltd hita...
  • 6 篇 st petersburg el...
  • 5 篇 inria
  • 5 篇 univ illinois ur...
  • 5 篇 carnegie mellon ...
  • 5 篇 univ illinois de...
  • 4 篇 ist austria klos...
  • 4 篇 graduate school ...
  • 4 篇 institute of mic...
  • 4 篇 school of electr...
  • 4 篇 imdea software i...
  • 4 篇 hitachi med corp...
  • 4 篇 department of in...
  • 3 篇 vig impex craiov...
  • 3 篇 university of no...
  • 3 篇 department of co...
  • 3 篇 ctr wiskunde & i...
  • 3 篇 department of el...
  • 3 篇 univ a coruna la...
  • 3 篇 polish acad sci ...

作者

  • 6 篇 kitamura m
  • 6 篇 woltran stefan
  • 6 篇 eiter thomas
  • 6 篇 kakugawa s
  • 5 篇 inoue katsumi
  • 4 篇 schaub torsten
  • 4 篇 belta calin
  • 4 篇 leonard barolli
  • 4 篇 hino n
  • 4 篇 castillo oscar
  • 4 篇 jamroga wojciech
  • 4 篇 vicente henrique
  • 4 篇 komura a
  • 4 篇 takeshima h
  • 4 篇 watada junzo
  • 4 篇 neves jose
  • 4 篇 dreyer derek
  • 4 篇 rosu grigore
  • 4 篇 cabalar pedro
  • 4 篇 tazaki h

语言

  • 3,004 篇 英文
  • 33 篇 其他
  • 11 篇 中文
  • 3 篇 葡萄牙文
  • 2 篇 法文
  • 1 篇 俄文
检索条件"任意字段=18th International Conference on Logic Programming"
3054 条 记 录,以下是3001-3010 订阅
排序:
Object oriented programming for motion control
Proceedings of the International Intelligent Motion
收藏 引用
Proceedings of the international Intelligent Motion 1990年 15-15页
作者: Halpert, D.E.
来源: 评论
A system for scheduling student computer consultants  90
A system for scheduling student computer consultants
收藏 引用
18th Annual ACM SIGUCCS conference on User Services, SIGUCCS 1990
作者: Lane, Daniel E. Cote, Raymond Shaw, Jackson Faculty of Administration University of Ottawa OttawaONKIN 6N5 Canada InTelSYS OttawaONK1M 1V6 Canada International Development Research Centre OttawaONK1G 3H9 Canada
this paper presents a computer-aided system for scheduling student computer consultants at remote computing sites in an academic environment. the system takes consultants' preferred availability input via on-line ... 详细信息
来源: 评论
Testable realization of CMOS combinational circuits
收藏 引用
20th international Test conference 1989 (ITC)
作者: Chakravarty, Sreejit State Univ of New York Dep of Comput Sci Buffalo NY USA
the KR realization (see S. Kundu and S. M. Reddy, Proc. 18th Int. Fault-Tolerant Computing Symp., 1988, pp. 220-225) was proposed with the aim of designing testable CMOS combinational circuits using only primitive gat... 详细信息
来源: 评论
A logic programming model of the game of sprouts  87
A logic programming model of the game of sprouts
收藏 引用
18th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1987
作者: Butler, Ralph M. Trimble, Selden Y. Wilkerson, Ralph W. Department of Computer Science University of North Florida JacksonvilleFL32216 United States Department of Mathematics University of Missouri-Rolla RollaMO65401 United States Department of Computer Science University of Missouri-Rolla RollaMO65401 United States
the game of Sprouts has intrigued mathematicians for nearly twenty years. this paper describes a representation scheme which simplifies much of the geometry of the game. Using this representation, we develop a Prolog ... 详细信息
来源: 评论
GENERIC AUTOMATIC programming MEthOD FOR ARC WELDING ROBOT POSITIONER.
GENERIC AUTOMATIC PROGRAMMING METHOD FOR ARC WELDING ROBOT P...
收藏 引用
Abstracts of Papers Presented at 1987 AWS Convention: 68th American Welding Society Annual Meeting and 18th international AWS Brazing conference.
作者: Fernandez, K.R. Cook, G.E. NASA NASA
the objective of the research reported in this paper was to greatly simplify the programming task while maintaining all of the constraints normally imposed. this was accomplished by developing a transformation algorit... 详细信息
来源: 评论
HIGH SPEED JOSEPHSON 2-BIT ALU CIRCUIT FABRICATED WIth Nb/Al-OXIDE/Nb JUNCTIONS.
HIGH SPEED JOSEPHSON 2-BIT ALU CIRCUIT FABRICATED WITH Nb/Al...
收藏 引用
Extended Abstracts of the 18th (1986 international) conference on Solid State Devices and Materials.
作者: Nakagawa, Hiroshi Kurosawa, Itaru Takada, Susumu Electrotechnical Lab Sakura-mura Jpn Electrotechnical Lab Sakura-mura Jpn
We present a Josephson 2-bit arithmetic logic unit(ALU) which consists of a 4JL-gate family. the circuit was fabricated using a Nb/Al-oxide/Nb junction process.
来源: 评论
PROTOTYPE JOSEPHSON logic LSIs.
PROTOTYPE JOSEPHSON LOGIC LSIs.
收藏 引用
Extended Abstracts of the 18th (1986 international) conference on Solid State Devices and Materials.
作者: Harada, Yutaka Hatano, Yuji Yamashita, Kunio Hirano, Mikio Tarutani, Yoshinobu Kawabe, Ushio Hitachi Ltd Kokubunji Jpn Hitachi Ltd Kokubunji Jpn
Suitable configurations of Josephson logic LSIs for computer applications are discussed. It is indicated that gate arrays are particularly suitable for realizing custom logic functions because of their simplified desi... 详细信息
来源: 评论
SLCF CIRCUIT: A LARGE NOISE MARGIN, HIGH-SPEED AND MODERATE POWER DISSIPATION CIRCUIT FOR RELIABLE GaAs LSI OPERATION.
SLCF CIRCUIT: A LARGE NOISE MARGIN, HIGH-SPEED AND MODERATE ...
收藏 引用
Extended Abstracts of the 18th (1986 international) conference on Solid State Devices and Materials.
作者: Kameyama, Atushi Ikawa, Yasuo Kawakyu, Katsue Mizoguchi, Takamaro Terada, Toshiyuki Toyoda, Nobuyuki Toshiba Corp Kawasaki Jpn Toshiba Corp Kawasaki Jpn
A new GaAs logic circuitry, named 'Schottky diode Level shifter Capacitor coupled FET logic (SLCF)', has been developed. It has driver DFETs and a load DFET in the logic stage, in front of which a level shifti... 详细信息
来源: 评论
TEMPORAL MODEL CHECKING UNDER GENERALIZED FAIRNESS CONSTRAINTS.
TEMPORAL MODEL CHECKING UNDER GENERALIZED FAIRNESS CONSTRAIN...
收藏 引用
Proceedings of the Eighteenth Hawaii international conference on System Sciences 1985. Volume 3: Medical Information Processing. Proceedings of the Hawaii international conference on System Science 18th, Distributed by Western Periodicals Co
作者: Emerson, E.Allen Lei, Chin-Laung Univ of Texas at Austin Dep of Computer Sciences Austin TX USA Univ of Texas at Austin Dep of Computer Sciences Austin TX USA
Authors present a method for efficient mechanical reasoning about finite state concurrent systems under a broad class of generalized fairness assumptions. the global state graph of such a system can be viewed as a fin... 详细信息
来源: 评论
INTERACTIVE ROBOT programming BASED ON SYNTAX-DIRECTED EDITING.
INTERACTIVE ROBOT PROGRAMMING BASED ON SYNTAX-DIRECTED EDITI...
收藏 引用
Proceedings of the Eighteenth Hawaii international conference on System Sciences 1985. Volume 3: Medical Information Processing. Proceedings of the Hawaii international conference on System Science 18th, Distributed by Western Periodicals Co
作者: Bruno, Giorgio Politecnico di Torino Dipartimento di Automatica e Informatica Turin Italy Politecnico di Torino Dipartimento di Automatica e Informatica Turin Italy
this paper illustrates the application of a recent technology - syntax-directed editors and interactive integrated programming environments - to robot programming. In particular, a syntax-directed editor generator is ... 详细信息
来源: 评论