Tag automated-theorem-proving - Questa è pagina 2 - GeneraCodice

Bachmair e Ganzinger, ordinamento delle equazioni

https://www.generacodice.com/it/articolo/1607043/bachmair-e-ganzinger-ordinamento-delle-equazioni
  logic  -  first-order-logic  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

Il concetto di utilizzare un semplice teorema di teorema controllato a mano per convalidare i prover di teorema più complessi sono stati esplorati prima?

https://www.generacodice.com/it/articolo/1600458/il-concetto-di-utilizzare-un-semplice-teorema-di-teorema-controllato-a-mano-per-convalidare-i-prover-di-teorema-piu-complessi-sono-stati-esplorati-prima
  automated-theorem-proving
cs.stackexchange cs.stackexchange

Che tipo di problemi di matematica possono essere risolti dai proverti del teorema automatizzato?

https://www.generacodice.com/it/articolo/1597998/che-tipo-di-problemi-di-matematica-possono-essere-risolti-dai-proverti-del-teorema-automatizzato
  automated-theorem-proving
cs.stackexchange cs.stackexchange

Come definire il tipo di funzione in AGDA

https://www.generacodice.com/it/articolo/1591429/come-definire-il-tipo-di-funzione-in-agda
  type-theory  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

Teorema Prover per la complessità riduzioni teoriche

https://www.generacodice.com/it/articolo/1591181/teorema-prover-per-la-complessita-riduzioni-teoriche
  complexity-theory  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

Procedura per risolvere automaticamente i teoremi del campo in un solutore SMT

https://www.generacodice.com/it/articolo/1587624/procedura-per-risolvere-automaticamente-i-teoremi-del-campo-in-un-solutore-smt
  logic  -  proof-assistants  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

Specifica formale; Formula logica

https://www.generacodice.com/it/articolo/1580388/specifica-formale-formula-logica
  c  -  formal-methods  -  satisfiability  -  first-order-logic  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

È possibile creare brevi prove di pieghe arbitrarie su un enorme elenco?

https://www.generacodice.com/it/articolo/1579323/e-possibile-creare-brevi-prove-di-pieghe-arbitrarie-su-un-enorme-elenco
  cryptography  -  proof-techniques  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

Perché i tipi codificati dalla chiesa non sono sufficienti per esprimere prove induttive?

https://www.generacodice.com/it/articolo/1579209/perche-i-tipi-codificati-dalla-chiesa-non-sono-sufficienti-per-esprimere-prove-induttive
  functional-programming  -  curry-howard  -  proof-techniques  -  automated-theorem-proving
cs.stackexchange cs.stackexchange

In che modo "Isabelle" (The Theorem Prover) ha preso il nome?

https://www.generacodice.com/it/articolo/1567454/in-che-modo-isabelle-the-theorem-prover-ha-preso-il-nome
  history  -  isabelle  -  automated-theorem-proving
cs.stackexchange cs.stackexchange
Risultati trovati: 55
scroll top