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

Documents (Mots clés)

• [MathOuvrage] Logique, réduction, résolution / Lalement, René ; Préf. Demazure, Michel. -Barcelone, Milan, Paris : Masson, 1990. - xii, 370 p. ; 25 cm
  ISBN 9782225821042
  
• [MathOuvrage] P-prolog / Yang, R.. -Singapore : World Scientific, 1987. - xi, 138
  
• [MathThèse] Utilisation des modes directionnels dans la résolution / Oudot, O.. -Grenoble : Institut National Polytechnique, 1987. - 164
  
• [MathOuvrage] Logic for computer scientists / Schoening, Uwe. -Basel : Birkhäuser, 1989. - 166
  http://link.springer.com/book/10.1007/978-0-8176-4763-6
  
• [MathOuvrage] Prolog / Giannesini, F. ; Kanoui, H. ; Pasero, Robert ; Van Caneghem, M.. -Paris : InterEditions, 1985. - 318