On the time required by the Davis-Putnam tautology recognition algorithm (1971)
- Autor:
- Autor USP: SIMON, IMRE - IME
- Unidade: IME
- Assunto: MATEMÁTICA
- Language: Inglês
- Imprenta:
- Publisher: University of Waterloo
- Publisher place: Waterloo
- Date published: 1971
-
ABNT
SIMON, Imre. On the time required by the Davis-Putnam tautology recognition algorithm. . Waterloo: University of Waterloo. . Acesso em: 29 abr. 2025. , 1971 -
APA
Simon, I. (1971). On the time required by the Davis-Putnam tautology recognition algorithm. Waterloo: University of Waterloo. -
NLM
Simon I. On the time required by the Davis-Putnam tautology recognition algorithm. 1971 ;[citado 2025 abr. 29 ] -
Vancouver
Simon I. On the time required by the Davis-Putnam tautology recognition algorithm. 1971 ;[citado 2025 abr. 29 ] - Words distinguished by their subwords
- Word Ramsey theorems
- Alguns problemas simples na teoria dos grafos
- Síntese moderna de filtros no computador, 1a parte
- Universidade diante de novas tecnologias de informação e comunicação
- The nondeterministic complexity of a finite automaton
- Recognizable sets with multiplicities in the tropical semiring
- Von Neumann, o cientista e a figura humana
- A note on elementary homomorphisms and the regularity of equality sets
- A note on the triangle conjecture
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
