Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag unification - Questa è pagina 8 - GeneraCodice
Esiste un algoritmo generale per riempire i buchi in termini di calcolo delle costruzioni?
https://www.generacodice.com/it/articolo/1577881/esiste-un-algoritmo-generale-per-riempire-i-buchi-in-termini-di-calcolo-delle-costruzioni
programming-languages
-
machine-learning
-
unification
cs.stackexchange
Controllo, lo è l'unificazione nominale?
https://www.generacodice.com/it/articolo/1576618/controllo-lo-e-l-unificazione-nominale
unification
cs.stackexchange
Come si può unificante 2 frasi in logica del prim'ordine risultato in una variabile diventando 2 cose diverse?
https://www.generacodice.com/it/articolo/1576614/come-si-puo-unificante-2-frasi-in-logica-del-prim-ordine-risultato-in-una-variabile-diventando-2-cose-diverse
unification
-
first-order-logic
cs.stackexchange
Perché l'unificazione nominale è un'unificazione del primo ordine?
https://www.generacodice.com/it/articolo/1576536/perche-l-unificazione-nominale-e-un-unificazione-del-primo-ordine
lambda-calculus
-
unification
cs.stackexchange
Generare vincoli per risolvere metavariabili tipite in modo dipendente?
https://www.generacodice.com/it/articolo/1564663/generare-vincoli-per-risolvere-metavariabili-tipite-in-modo-dipendente
type-theory
-
lambda-calculus
-
unification
-
reference-request
-
dependent-types
cs.stackexchange
Funzioni di unificazione
https://www.generacodice.com/it/articolo/1560739/funzioni-di-unificazione
artificial-intelligence
-
unification
cs.stackexchange
Termine Recriting vs Unification
https://www.generacodice.com/it/articolo/1544378/termine-recriting-vs-unification
terminology
-
logic-programming
-
unification
-
term-rewriting
cs.stackexchange
Unificazione: rimuovere le equazioni e aggiornare la soluzione
https://www.generacodice.com/it/articolo/1535722/unificazione-rimuovere-le-equazioni-e-aggiornare-la-soluzione
logic
-
unification
-
algorithms
cs.stackexchange
Qualcuno può chiarire questo algoritmo di unificazione?
https://www.generacodice.com/it/articolo/1532476/qualcuno-puo-chiarire-questo-algoritmo-di-unificazione
artificial-intelligence
-
logic
-
unification
-
first-order-logic
cs.stackexchange
Unificazione - Unificatore più specifico
https://www.generacodice.com/it/articolo/1495033/unificazione-unificatore-piu-specifico
logic
-
equality
-
unification
-
algorithms
cs.stackexchange
«
5
6
7
8
9
10
»
Risultati trovati: 109