Voltar
Capítulo de livro Revisado por pares
BIBTEX RIS

Computationally Improved Versions of Herbrand's Theorem

1982; Elsevier BV; Linguagem: Inglês

10.1016/s0049-237x(08)71874-3

ISSN

2542-6702

Autores

Wolfgang Bibel,

Tópico(s)

Logic, Reasoning, and Knowledge

Referência(s)