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 proof-assistants - Questa è pagina 6 - GeneraCodice
Induzione strutturale su elenco generico
https://www.generacodice.com/it/articolo/1563566/induzione-strutturale-su-elenco-generico
induction
-
proof-assistants
-
correctness-proof
cs.stackexchange
Dati l'isomorfismo "programmi come prove", come facciamo a sapere che il programma non sta mentendo?
https://www.generacodice.com/it/articolo/1542447/dati-l-isomorfismo-programmi-come-prove-come-facciamo-a-sapere-che-il-programma-non-sta-mentendo
type-theory
-
curry-howard
-
proof-assistants
-
correctness-proof
-
intuition
cs.stackexchange
Prove di teorema in CoQ
https://www.generacodice.com/it/articolo/1489783/prove-di-teorema-in-coq
coq
-
proof-assistants
-
automated-theorem-proving
-
mathematical-programming
cs.stackexchange
L'approccio “CPS” ha fatto un grave danno alla prestazione in SML / NJ; ragionamento desiderata
https://www.generacodice.com/it/articolo/1119144/l-approccio-cps-ha-fatto-un-grave-danno-alla-prestazione-in-sml-nj-ragionamento-desiderata
functional-programming
-
continuations
-
proof-assistants
-
compilers
cs.stackexchange
Esiste un repository per la gerarchia delle prove?
https://www.generacodice.com/it/articolo/1098182/esiste-un-repository-per-la-gerarchia-delle-prove
logic
-
proof-assistants
-
reference-request
cs.stackexchange
Alla ricerca di un libro che deriva e costruisce un modello di applicazione di controllo
https://www.generacodice.com/it/articolo/1097914/alla-ricerca-di-un-libro-che-deriva-e-costruisce-un-modello-di-applicazione-di-controllo
formal-methods
-
model-checking
-
proof-assistants
-
reference-request
cs.stackexchange
Perché l'unificazione così importante per i motori di inferenza?
https://www.generacodice.com/it/articolo/1092945/perche-l-unificazione-cosi-importante-per-i-motori-di-inferenza
logic
-
unification
-
proof-assistants
-
automated-theorem-proving
-
smt-solvers
cs.stackexchange
Perché alcuni motore inferenziale hanno bisogno di assistenza umana, mentre altri non lo fanno?
https://www.generacodice.com/it/articolo/1092934/perche-alcuni-motore-inferenziale-hanno-bisogno-di-assistenza-umana-mentre-altri-non-lo-fanno
logic
-
proof-assistants
-
automated-theorem-proving
-
smt-solvers
cs.stackexchange
Tipi di Automated Teorema Celle
https://www.generacodice.com/it/articolo/1092901/tipi-di-automated-teorema-celle
logic
-
proof-assistants
-
automated-theorem-proving
cs.stackexchange
L'apprendimento automatico Teorema Proving
https://www.generacodice.com/it/articolo/1092817/l-apprendimento-automatico-teorema-proving
logic
-
coq
-
proof-assistants
-
automated-theorem-proving
cs.stackexchange
«
3
4
5
6
7
8
»
Risultati trovati: 75