Automated reasonic 33 basic research problems

Παρόμοια τεκμήρια

• Automated reasoning introduction and applications
  ανά: Wos, Larry
  Έκδοση: (1984)
• Automated reasoning and the discovery of missing and elegant proofs
  ανά: Wos, Larry
  Έκδοση: (2003)
• Logic programming formal methods and practical aplications
  Έκδοση: (1995)
• Multi-objective optimization in computational intelligence theory and practice
  ανά: Bui, Lam Thu
  Έκδοση: (2008)
• Genetic programming on the programming of computers by means of natural selection
  ανά: Koza, John R.
  Έκδοση: (1992)