咨询与建议

限定检索结果

文献类型

  • 836 篇 期刊文献
  • 438 篇 会议
  • 86 册 图书
  • 1 篇 学位论文

馆藏范围

  • 1,351 篇 电子文献
  • 10 种 纸本馆藏

日期分布

学科分类号

  • 780 篇 理学
    • 693 篇 数学
    • 57 篇 物理学
    • 43 篇 统计学(可授理学、...
    • 20 篇 系统科学
    • 14 篇 科学技术史(分学科...
    • 13 篇 生物学
    • 11 篇 化学
  • 667 篇 工学
    • 536 篇 计算机科学与技术...
    • 252 篇 软件工程
    • 65 篇 电气工程
    • 53 篇 控制科学与工程
    • 22 篇 电子科学与技术(可...
    • 22 篇 信息与通信工程
    • 12 篇 力学(可授工学、理...
    • 10 篇 机械工程
    • 9 篇 化学工程与技术
    • 8 篇 动力工程及工程热...
    • 6 篇 材料科学与工程(可...
    • 6 篇 建筑学
  • 77 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 24 篇 图书情报与档案管...
    • 6 篇 工商管理
    • 6 篇 公共管理
  • 29 篇 经济学
    • 18 篇 理论经济学
    • 14 篇 应用经济学
  • 24 篇 哲学
    • 20 篇 哲学
  • 12 篇 医学
    • 6 篇 基础医学(可授医学...
    • 6 篇 临床医学
  • 11 篇 法学
    • 11 篇 社会学
  • 8 篇 教育学
    • 5 篇 心理学(可授教育学...
  • 8 篇 农学
  • 6 篇 文学
  • 4 篇 艺术学
  • 1 篇 历史学

主题

  • 1,361 篇 recursive functi...
  • 187 篇 mathematical the...
  • 119 篇 logical theorems
  • 92 篇 recursion
  • 80 篇 algorithms
  • 75 篇 integers
  • 62 篇 recursively enum...
  • 60 篇 natural numbers
  • 57 篇 nasa technical r...
  • 57 篇 (ntrs)
  • 51 篇 degree of unsolv...
  • 46 篇 arithmetic
  • 42 篇 mathematical ind...
  • 34 篇 polynomials
  • 31 篇 recursion theory
  • 31 篇 approximation
  • 31 篇 algebra
  • 27 篇 induction assump...
  • 26 篇 equivalence rela...
  • 23 篇 oracles

机构

  • 7 篇 natl univ singap...
  • 6 篇 univ maryland de...
  • 5 篇 inria
  • 5 篇 univ wisconsin d...
  • 5 篇 univ munster ins...
  • 4 篇 univ kaiserslaut...
  • 4 篇 school of comput...
  • 4 篇 univ calif san d...
  • 4 篇 massachusetts in...
  • 4 篇 rutgers state un...
  • 4 篇 università degli...
  • 3 篇 university of ca...
  • 3 篇 ohio state univ ...
  • 3 篇 mit cambridge ma...
  • 3 篇 institute of mat...
  • 3 篇 univ edinburgh e...
  • 3 篇 univ chicago il ...
  • 3 篇 department of co...
  • 3 篇 univ calif berke...
  • 3 篇 natl univ singap...

作者

  • 11 篇 remmel jb
  • 9 篇 stephan frank
  • 8 篇 jain s
  • 7 篇 jockusch cg
  • 6 篇 zeugmann thomas
  • 6 篇 roversi luca
  • 6 篇 dipaola ra
  • 6 篇 dekker jce
  • 6 篇 jain sanjay
  • 6 篇 wiehagen r
  • 6 篇 kummer m
  • 6 篇 stephan f
  • 5 篇 slaman ta
  • 5 篇 kutrib martin
  • 5 篇 nipkow tobias
  • 5 篇 herrmann e
  • 5 篇 hu zhenjiang
  • 5 篇 downey rg
  • 5 篇 owings jc
  • 5 篇 byerly re

语言

  • 1,303 篇 英文
  • 43 篇 其他
  • 8 篇 法文
  • 3 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 日文
检索条件"主题词=Recursive functions"
1361 条 记 录,以下是81-90 订阅
排序:
Symbolic test case generation for primitive recursive functions
Symbolic test case generation for primitive recursive functi...
收藏 引用
4th International Workshop on Formal Approaches to Software Testing, FATES 2004
作者: Brucker, Achim D. Wolff, Burkhart Information Security ETH Zürich ETH Zentrum CH-8092 Zürich Switzerland
We present a method for the automatic generation of test cases for HOL formulae containing primitive recursive predicates. These test cases can be used for the animation of specifications as well as for black-box test... 详细信息
来源: 评论
Type-2 computability and Moore's recursive functions
Type-2 computability and Moore's recursive functions
收藏 引用
作者: Kawamura, Akitoshi Department of Computer Science Grad. Sch. Info. Sci. and Technol. The University of Tokyo Japan
Regarding effectivity of functions on the reals, there have been several proposed models of analog, continuous-time computation, as opposed to the digital, discrete nature of the type-2 computability. We study one of ... 详细信息
来源: 评论
Enumerability,Decidability Computability;an introduction to the theory of recursive functions. Bd.12
Enumerability,Decidability Computability;an introduction to ...
收藏 引用
1965年
作者: Hermes H.
来源: 内蒙古大学图书馆图书 评论
Formalizing computability theory via partial recursive functions  10
Formalizing computability theory via partial recursive funct...
收藏 引用
10th International Conference on Interactive Theorem Proving, ITP 2019
作者: Carneiro, Mario Carnegie Mellon University PittsburghPA United States
We present an extension to the mathlib library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects o... 详细信息
来源: 评论
Data-driven induction of recursive functions from input/output-examples
Data-driven induction of recursive functions from input/outp...
收藏 引用
ECML/PKDD Workshop on Approaches and Applications of Inductive Programming, AAIP 2007, Held at the 18th European Conference on Machine Learning, ECML 2007 and the 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD 2007
作者: Kitzelmann, Emanuel Faculty of Information Systems and Applied Computer Sciences University of Bamberg Bamberg96045 Germany
We describe a technique for inducing recursive functional programs over algebraic datatypes from few non-recursive and only positive ground example-equations. Induction is data-driven and based on structural regularit... 详细信息
来源: 评论
Let a data model be equivalent to a class of total recursive functions
Let a data model be equivalent to a class of total recursive...
收藏 引用
2010 International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS 2010
作者: Xu, Kevin H. Gao, Shelby Zhang, Jingsong McKeown, Roger R. Bigravity Business Software United States
A formal language - the EP database is defined in this article. We prove that it is semantically equivalent to a class of total recursive functions. The conclusion serves as the theoretical foundation of Froglingo tha... 详细信息
来源: 评论
Characterization of the computable real numbers by means of primitive recursive functions  4th
Characterization of the computable real numbers by means of ...
收藏 引用
4th International Workshop on Computability and Complexity in Analysis, CCA 2000
作者: Skordev, Dimiter Faculty of Mathematics and Informatics "St. Kl. Ohridski" University of Sofia 5 blvd. J. Bourchier SofiaBG-1164 Bulgaria
One usually defines the notion of a computable real number by using recursive functions. However, there is a simple way due to A. Mostowski to characterize the computable real numbers by using only primitive recursive... 详细信息
来源: 评论
A strict border for the decidability of e-unification for recursive functions  5th
A strict border for the decidability of e-unification for re...
收藏 引用
5th International Conference on Algebraic and Logic Programming, ALP 1996
作者: Faβbender, Heinz Maneth, Sebastian Deutsche Forschungsanstalt fiir Luft- und Ranmfahrt e.V Qualithat und Sicherheit KölnD-51140 Germany Institut fur Softwaretechnik I TU Dresden DresdenD-01062 Germany
During the execution of functional logic programs, E-unification problems have to be solved quite frequently, where the underlying equational theory is induced by recursive functions. But, what about the decidability ... 详细信息
来源: 评论
Efficient compilation of liheah recursive functions into object level loops
Efficient compilation of liheah recursive functions into obj...
收藏 引用
1986 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1986
作者: Harrison, Peter G Khoshneviaan, Hessan Department of Computing Imperial College LondonSVJ7 2EZ United Kingdom
Whilst widely recognised as an excellent means for solving problems and for designing software, functional programming languages have suffered from their inefficient implementations on conventional computers. A route ... 详细信息
来源: 评论
Parallel processing of recursive functions
Parallel processing of recursive functions
收藏 引用
作者: Burkhead, Franklin United States Naval Postgraduate School
学位级别:硕士
Algorithms defined as recursive functions, such as in "pure" LISP, are shown to have structure sufficient to dis- tinguish between processes which must be executed in sequence and processes which may be exec... 详细信息
来源: 评论