咨询与建议

限定检索结果

文献类型

  • 187 篇 会议
  • 7 册 图书
  • 4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 157 篇 工学
    • 147 篇 计算机科学与技术...
    • 95 篇 软件工程
    • 12 篇 电气工程
    • 8 篇 控制科学与工程
    • 6 篇 信息与通信工程
    • 6 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 生物医学工程(可授...
    • 1 篇 力学(可授工学、理...
    • 1 篇 光学工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 土木工程
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
  • 22 篇 理学
    • 17 篇 数学
    • 3 篇 物理学
    • 3 篇 生物学
    • 3 篇 系统科学
  • 12 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 3 篇 图书情报与档案管...
    • 2 篇 工商管理
  • 2 篇 文学
    • 2 篇 外国语言文学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学
    • 1 篇 作物学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...
  • 1 篇 艺术学
    • 1 篇 艺术学理论
    • 1 篇 音乐与舞蹈学

主题

  • 41 篇 logic programmin...
  • 22 篇 functional progr...
  • 13 篇 semantics
  • 7 篇 temporal logic
  • 6 篇 computer science
  • 5 篇 automatic contro...
  • 4 篇 computer circuit...
  • 4 篇 model checking
  • 4 篇 software enginee...
  • 4 篇 mathematical log...
  • 4 篇 hardware
  • 4 篇 programming lang...
  • 4 篇 specification la...
  • 4 篇 dynamic programm...
  • 4 篇 computer program...
  • 3 篇 fuzzy logic
  • 3 篇 formal logic
  • 3 篇 logic gates
  • 3 篇 computational mo...
  • 3 篇 real-time system...

机构

  • 2 篇 cinvestav gdl de...
  • 2 篇 departamento de ...
  • 2 篇 univ complutense...
  • 2 篇 carnegie mellon ...
  • 2 篇 univ limerick le...
  • 2 篇 nara inst sci & ...
  • 2 篇 univ tokyo
  • 2 篇 cau kiel inst in...
  • 2 篇 tu dortmund univ...
  • 2 篇 univ london impe...
  • 1 篇 univ augsburg de...
  • 1 篇 telecom bretagne...
  • 1 篇 univ innsbruck i...
  • 1 篇 department of co...
  • 1 篇 univ pisa dipart...
  • 1 篇 tu dortmund univ...
  • 1 篇 univ pisa dept c...
  • 1 篇 department of ma...
  • 1 篇 katholieke univ ...
  • 1 篇 univ southern ca...

作者

  • 4 篇 steffen bernhard
  • 3 篇 kobayashi naoki
  • 2 篇 jain v
  • 2 篇 nishitani h
  • 2 篇 stuckey peter j.
  • 2 篇 vidal g
  • 2 篇 albert e
  • 2 篇 grossman ie
  • 2 篇 imafuku k
  • 2 篇 lano k
  • 2 篇 vidal german
  • 2 篇 chavoya a
  • 2 篇 neubauer johanne...
  • 2 篇 sanchez a
  • 2 篇 harjunkoski i
  • 2 篇 ramakrishnan i.v...
  • 2 篇 naujokat stefan
  • 2 篇 hanus m
  • 2 篇 margaria tiziana
  • 2 篇 antoniou grigori...

语言

  • 197 篇 英文
  • 1 篇 其他
检索条件"任意字段=7th International Symposium on Functional and Logic Programming"
198 条 记 录,以下是181-190 订阅
the many faces of inductive logic programming  7th
The many faces of inductive logic programming
收藏 引用
7th international symposium on Methodologies for Intelligent Systems, ISMIS 1993
作者: De Raedt, Luc Lavrač, Nada Department of Computing Science Katholieke Universiteit Leuven Celestijnenlaan 200A HeverleeB-3001 Belgium Jožef Stefan Institute Jamova 39 Ljubljana61111 Slovenia
Inductive logic programming is a research area which has its roots in machine learning and computational logic. A short introduction to this area is given. It investigates the many faces of inductive logic programming... 详细信息
来源: 评论
A logical reconstruction of constraint relaxation hierarchies in logic programming  7th
A logical reconstruction of constraint relaxation hierarchie...
收藏 引用
7th international symposium on Methodologies for Intelligent Systems, ISMIS 1993
作者: Brown, Allen L. Mantha, Surya Wakayama, Toshiro Webster Research Center Xerox Corporation United States
We propose an extension to Definite Horn Clauses by placing partial orders on the bodies of clauses. Such clauses are called relaxable clauses. these partial orders are interpreted as a specification of relaxation cri... 详细信息
来源: 评论
A framework for program development based on schematic proof  93
A framework for program development based on schematic proof
收藏 引用
international Workshop on Software Specification and Design
作者: D. Basin A. Bundy I. Kraan S. Matthews Im Stadtwald Max Planck-Institut fur Informatik Saarbrucken Germany Department of AI University of Edinburgh Edinburgh UK
Often, calculi for manipulating and reasoning about programs can be recast as calculi for synthesizing programs. the difference involves often only a slight shift of perspective: admitting metavariables into proofs. W... 详细信息
来源: 评论
Disjunctive strictness analysis
Disjunctive strictness analysis
收藏 引用
Proceedings of the 7th Annual IEEE symposium on logic in Computer Science
作者: Jensen, thomas P. Imperial Coll
the problem of constructing a disjunctive strictness analysis for a higher-order, functional language is addressed. A system of disjunctive types for strictness analysis of typed λ-calculus is introduced, and the typ... 详细信息
来源: 评论
Symbolic model checking for real-time systems
Symbolic model checking for real-time systems
收藏 引用
Proceedings of the 7th Annual IEEE symposium on logic in Computer Science
作者: Henzinger, thomas A. Nicollin, Xavier Sifakis, Joseph Yovine, Sergio Comput Sci Dept Cornell Univ Ithaca NY USA
Finite-state programs over real-numbered time in a guarded-command language with real-valued clocks are described. Model checking answers the question of which states of a real-time program satisfy a branching-time sp... 详细信息
来源: 评论
the type and effect discipline
The type and effect discipline
收藏 引用
Proceedings of the 7th Annual IEEE symposium on logic in Computer Science
作者: Talpin, Jean-Pierre Jouvelot, Pierre
the type and effect discipline, a framework for reconstructing the principal type and the minimal effect of expressions in implicitly typed polymorphic functional languages that support imperative constructs, is intro... 详细信息
来源: 评论
7th international Conference on the Mathematical Foundations of programming Semantics, 1991
7th International Conference on the Mathematical Foundations...
收藏 引用
7th international Conference on the Mathematical Foundations of programming Semantics, 1991
the proceedings contain 26 papers. the special focus in this conference is on Mathematical Foundations of programming Semantics. the topics include: Types, abstraction, and parametric polymorphism, part 2;call-by-valu...
来源: 评论
A logic for nondeterministic functional programs  7th
收藏 引用
7th international Conference on Fundamentals of Computation theory, FCT 1989
作者: Gil-Luezas, Ana Departamento de Informatica y Automatica Universidad Complutense Madrid Spain
We present a schematic functional programming language coupled with a logic of programs. Our language allows for μ-recursion, λ-abstraction, nondeterminism and calls to predefined functions. We define a denotational... 详细信息
来源: 评论
7th international Conference on Fundamentals of Computation theory, FCT 1989
收藏 引用
7th international Conference on Fundamentals of Computation theory, FCT 1989
the proceedings contain 47 papers. the special focus in this conference is on Fundamentals of Computation theory. the topics include: Completeness in approximation classes;separating completely complexity classes rela...
来源: 评论
Extending Ina Jo with temporal logic  7
Extending Ina Jo with temporal logic
收藏 引用
7th IEEE symposium on Security and Privacy, SP 1986
作者: Wing, Jeannette M. Nixon, Mark R. Department of Computer Science Carnegie-Mellon University PittsburghPA15213 United States TRW Electronic Systems Group Redondo BeachCA90278 United States
Toward the overall goal of putting formal specifications to practical use in the design of Iarge systems, we explore the combination of two specification methods: using temporal logic to specify concurrency properties... 详细信息
来源: 评论