Automated reasoning for systems biology and medicine /

QR Code

Automated reasoning for systems biology and medicine /

Bibliographic Details
Format:	Book
Published:	c2019.
Online Access:	Ver documento en línea

Similar Items

Automated reasoning : introduction and applications /
by: Wos, Larry
Published: (1984)

Automated reasoning and mathematics : essays in memory of William W. McCune /
Published: (2013)

Automated reasoning : 10th international joint conference, IJCAR 2020, Paris, France, july 1-4, 2020, proceedings /
Published: (2020)

Automated reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, july 16-19, 2010. Proceedings /
Published: (2010)

Automated reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, august 12-15, 2008 proceedings /
Published: (2008)

Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /
Published: (2012)

Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, june 27 - July 2, 2016, proceedings /
Published: (2016)

Automated reasoning with analytic tableaux and related methods /
Published: (2017)

Automated reasoning : 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, july 19-22, 2014. Proceedings /
Published: (2014)

Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, july 14-17, 2018, proceedings /
Published: (2018)

Applications of dynamical systems in biology and medicine.

Applications of microfluidic systems in biology and medicine.

Fallacy-free reasoning in medicine : improving communication and decision making in research and practice /
by: Jenicek, Milos 1935-, et al.
Published: (2009)

Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, september 3-5, 2019, proceedings /
Published: (2019)

Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015, Wroclaw, Poland, september 21-24, 2015, proceedings /
Published: (2015)

Automated reasoning with analytic tableaux and related methods : 26th international conference, TABLEAUX 2017, Brasília, Brazil, september 25-28, 2017, proceedings /
Published: (2017)

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, july 6-10, 2009. Proceedings /
Published: (2009)

Automated reasoning with analytic tableaux and related methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, july 4-8, 2011. Proceedings /
Published: (2011)

Automated reasoning with analytic tableaux and related methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, september 16-19, 2013, proceedings /
Published: (2013)

Cancer systems biology, bioinformatics and medicine : research and clinical applications /
Published: (2011)

Cancer Systems Biology, Bioinformatics and Medicine : Research and Clinical Applications /
Published: (2011)

Distribution system analysis and automation /
by: Gers, Juan M., et al.
Published: (2013)

Office automation and information systems /
by: Rosen, Arnold 1932-, et al.
Published: (1987)

Design automation of digital systems /
by: Breuer, Melvin A., et al.
Published: (1972)

Canal automation for irrigation systems /
Published: (2014)

Self-Assembling Peptide Systems in Biology, Medicine and Engineering /
Published: (2002)

Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS 2010, Paphos, Cyprus, march 27-28, 2010. Revised selected papers /
Published: (2010)

Probabilistic reasoning in intelligent systems : networks pf plausible inference
by: Pearl, Judea 1936-, et al.
Published: (1988)

Advances in systems, control and automation : ETAEERE-2016.

Reason, rationality and reasonableness /
by: Tran, van Doan, et al.
Published: (2001)

Reason, retionality and reasonableness /
by: Tran, Van Don, 1917-1998
Published: (2001)

Design automation of cyber-physical systems /
Published: (2019)

Automating linux and unix system administration /
Published: (2009)

Air traffic control automated systems.

The future automated systems in the academic library /
by: Verbeek, Olga, et al.

An introduction to automated process planning systems /
by: Chang, Tien-Chien
Published: (1985)

Automating linux and unix system administration /
by: Campi, Nate
Published: (2009)

Domain-level reasoning for spoken dialogue systems /
Published: (2011)

To automate or not to automate /
by: Trebilcock, Bob

Automated guided vehicle systems : a primer with practical applications /
Published: (2015)