Documents liés : [1 document(s)]

Documents (Auteurs)

• [MathOuvrage] The Classical decision problem / Börger, Egon ; Grädel, Erich ; Gurevich, Yuri. -Berlin, Heidelberg, New York NY : Springer, 1997. - x, 482 p. ; 24 cm
  ISBN 9783540423249