The classical decision problem /

The classical decision problem /

41

Detalhes bibliográficos
Principais autores: Borger, E. (Egon), 1946-, Gradel, Erich, 1958-, Gurevich, Yuri
Formato:
Idioma:eng
Publicado em: Berlin : Springer, 2001
Assuntos:
Decidability (Mathematical logic)

Registros relacionados