中国
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
完整文章
类别
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
你写
用户
登录
登记
找回密码
标签
语言标签
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
标签unification - 这是页8 - GeneraCodice
Is there a general algorithm to fill holes in terms of the Calculus of Constructions?
https://www.generacodice.com/cn/articolo/1577881/is-there-a-general-algorithm-to-fill-holes-in-terms-of-the-calculus-of-constructions
programming-languages
-
machine-learning
-
unification
cs.stackexchange
occur-check, does nominal unification has it?
https://www.generacodice.com/cn/articolo/1576618/occur-check-does-nominal-unification-has-it
unification
cs.stackexchange
How can unifying 2 sentences in first-order logic result in a variable becoming 2 different things?
https://www.generacodice.com/cn/articolo/1576614/how-can-unifying-2-sentences-in-first-order-logic-result-in-a-variable-becoming-2-different-things
unification
-
first-order-logic
cs.stackexchange
why nominal unification is a first-order unification?
https://www.generacodice.com/cn/articolo/1576536/why-nominal-unification-is-a-first-order-unification
lambda-calculus
-
unification
cs.stackexchange
Generating constraints to solve dependently-typed metavariables?
https://www.generacodice.com/cn/articolo/1564663/generating-constraints-to-solve-dependently-typed-metavariables
type-theory
-
lambda-calculus
-
unification
-
reference-request
-
dependent-types
cs.stackexchange
Unification Functions
https://www.generacodice.com/cn/articolo/1560739/unification-functions
artificial-intelligence
-
unification
cs.stackexchange
Term Rewriting vs Unification
https://www.generacodice.com/cn/articolo/1544378/term-rewriting-vs-unification
terminology
-
logic-programming
-
unification
-
term-rewriting
cs.stackexchange
Unification — removing equations and updating the solution
https://www.generacodice.com/cn/articolo/1535722/unification-removing-equations-and-updating-the-solution
logic
-
unification
-
algorithms
cs.stackexchange
Can someone clarify this unification algorithm?
https://www.generacodice.com/cn/articolo/1532476/can-someone-clarify-this-unification-algorithm
artificial-intelligence
-
logic
-
unification
-
first-order-logic
cs.stackexchange
Unification — most specific unifier
https://www.generacodice.com/cn/articolo/1495033/unification-most-specific-unifier
logic
-
equality
-
unification
-
algorithms
cs.stackexchange
«
5
6
7
8
9
10
»
发现结果: 109