咨询与建议

限定检索结果

文献类型

  • 61 篇 会议
  • 27 篇 期刊文献
  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 68 篇 工学
    • 64 篇 计算机科学与技术...
    • 45 篇 软件工程
    • 7 篇 控制科学与工程
    • 3 篇 电气工程
    • 3 篇 信息与通信工程
    • 2 篇 机械工程
    • 2 篇 土木工程
    • 2 篇 水利工程
    • 2 篇 船舶与海洋工程
    • 1 篇 冶金工程
    • 1 篇 建筑学
    • 1 篇 化学工程与技术
    • 1 篇 林业工程
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 28 篇 理学
    • 21 篇 数学
    • 5 篇 系统科学
    • 3 篇 统计学(可授理学、...
    • 2 篇 物理学
    • 2 篇 化学
    • 2 篇 海洋科学
    • 2 篇 生物学
    • 1 篇 科学技术史(分学科...
  • 6 篇 管理学
    • 4 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...

主题

  • 20 篇 logic programmin...
  • 17 篇 artificial intel...
  • 7 篇 databases
  • 5 篇 laboratories
  • 4 篇 computer science
  • 3 篇 parallel process...
  • 3 篇 information syst...
  • 3 篇 natural language...
  • 3 篇 natural language...
  • 3 篇 database managem...
  • 3 篇 computer languag...
  • 3 篇 computers
  • 3 篇 information stor...
  • 2 篇 fuzzy logic
  • 2 篇 error correction
  • 2 篇 hybrid logic
  • 2 篇 parallel program...
  • 2 篇 natural deductio...
  • 2 篇 automatic progra...
  • 2 篇 specifications

机构

  • 3 篇 logic programmin...
  • 3 篇 research group p...
  • 2 篇 research group p...
  • 2 篇 department of co...
  • 2 篇 department of ee...
  • 2 篇 research group p...
  • 2 篇 programming logi...
  • 2 篇 laboratory for l...
  • 2 篇 down to the meta...
  • 1 篇 department of ma...
  • 1 篇 logic programmin...
  • 1 篇 institute for lo...
  • 1 篇 programming rese...
  • 1 篇 faculty of compu...
  • 1 篇 logic and progra...
  • 1 篇 department of ma...
  • 1 篇 department of me...
  • 1 篇 laboratory for l...
  • 1 篇 system architect...
  • 1 篇 tbilisi state un...

作者

  • 9 篇 christiansen hen...
  • 5 篇 gaggl sarah alic...
  • 5 篇 g. gupta
  • 5 篇 e. pontelli
  • 4 篇 dahl veronica
  • 4 篇 braüner torben
  • 4 篇 have christian t...
  • 4 篇 henning christia...
  • 4 篇 gupta gopal
  • 3 篇 troels andreasen
  • 3 篇 petit matthieu
  • 3 篇 theil have chris...
  • 3 篇 pontelli enrico
  • 3 篇 rusovac dominik
  • 3 篇 andreasen troels
  • 2 篇 brisaboa nieves ...
  • 2 篇 buettner kevin a...
  • 2 篇 veronica dahl
  • 2 篇 bergstra jan a.
  • 2 篇 tarau paul

语言

  • 87 篇 英文
  • 5 篇 其他
  • 1 篇 法文
检索条件"机构=Logic and Programming"
93 条 记 录,以下是91-100 订阅
Practical Aspects of Declarative Languages  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Veronica Dahl Philip Wadler
来源: 评论
TRANSMISSION LINE TESTING USING BASIC RADAR PRINCIPLE
收藏 引用
NAVAL ENGINEERS JOURNAL 1971年 第6期83卷 27-&页
作者: SHOEMAKE.WB USN The authorGraduated from the Naval Academy in 1961 following which he served aboard USS GAINARD (DD 706) as AWS Officer. After attending Destroyer School in Newport R.I. he was assigned to the USS R. H. McCARD (DD 822) as Engineer Officer subsequently beginning his graduate study in the Engineering Electronics Curriculum at the U. S. Naval Postgraduate School Monterey California ultimately receiving his Master of Science in Electrical Engineering degree in 1968. His next assignment was instructor of Digital Logic Design and Programming in the Weapons Department of the U. S. Naval Academy during which time he was designated as Engineering Duty Officer (EDO-1400) and later assigned as Anti-Ship Missile Defense Project Coordinator for the Command and Control Division of the Naval Ship Engineering Center where he is presently the Assistant for the 3-D Radar in the Radar Branch. He is a member of the Institute of Electrical and Electronics Engineers (IEEE) the American Society of Naval Engineers (ASNE) and an associate member of the Society of Sigma Xi.
来源: 评论
Constraint Solving and Language Processing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Henning Christiansen Peter Rossen Skadhauge Jørgen Villadsen
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denma... 详细信息
来源: 评论