The classical decision problem /

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Borger, E. (Egon), 1946-, Gradel, Erich, 1958-, Gurevich, Yuri
Ձևաչափ:
Լեզու:	eng
Հրապարակվել է:	Berlin : Springer, 2001
Խորագրեր:	Decidability (Mathematical logic)

Նմանատիպ նյութեր