The classical decision problem /

The classical decision problem /

41

מידע ביבליוגרפי
Main Authors: Borger, E. (Egon), 1946-, Gradel, Erich, 1958-, Gurevich, Yuri
פורמט:
שפה:eng
יצא לאור: Berlin : Springer, 2001
נושאים:
Decidability (Mathematical logic)

פריטים דומים