Automated reasoning for systems biology and medicine /

Ejemplares similares

• Automated reasoning : introduction and applications /
  por: Wos, Larry
  Publicado: (1984)
• Automated reasoning and mathematics : essays in memory of William W. McCune /
  Publicado: (2013)
• Automated reasoning : 10th international joint conference, IJCAR 2020, Paris, France, july 1-4, 2020, proceedings /
  Publicado: (2020)
• Automated reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, july 16-19, 2010. Proceedings /
  Publicado: (2010)
• Automated reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, august 12-15, 2008 proceedings /
  Publicado: (2008)