Symbolic Logic and Mechanical Theorem Proving /

Lignende værker

• Logic for computer science : foundations of automatic theorem proving /
  af: Gallier, Jean H.
  Udgivet: (1987)
• Fuzzy Logic : A Framework for a New Millennium /
  af: Dimitrov, Vladimir
  Udgivet: (2002)
• Juegos lógicos en el mundo de la inteligencia artificial /
  af: Friant, Jean
  Udgivet: (1986)
• Symbolic Logic /
  af: Copi, Irving M.
  Udgivet: (1967)
• SYMBOLIC LOGIC /
  af: Copi, Irving M.
  Udgivet: (1967)