Cargando…

Automated reasoning for systems biology and medicine

Detalles Bibliográficos
Autores principales:	Liò, Pietro, Zuliani, Paolo
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2754741

Ejemplares similares

Handbook of automated reasoning.
por: Robinson, J A, et al.
Publicado: (2001)

The automated reasoning system ITP
por: Lusk, E L, et al.
Publicado: (1984)

The Imandra Automated Reasoning System (System Description)
por: Passmore, Grant, et al.
Publicado: (2020)

Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
por: Sorathiya, Anil, et al.
Publicado: (2010)

A method to identify and analyze biological programs through automated reasoning
por: Yordanov, Boyan, et al.
Publicado: (2016)

Computational Modeling, Formal Analysis, and Tools for Systems Biology
por: Bartocci, Ezio, et al.
Publicado: (2016)

Advances in medicine and biology
por: Berhardt, Leon V
Publicado: (2020)

Advances in medicine and biology
por: Berhardt, Leon V
Publicado: (2020)

Automated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedings
por: Olivetti, Nicola, et al.
Publicado: (2016)

The Development of Thinking and Reasoning
por: Barrouillet, Pierre
Publicado: (2013)

Introducing Reason 4
por: Truesdell, Cliff
Publicado: (2008)

The tools of mathematical reasoning
por: Lakins, Tamara J
Publicado: (2016)

Reasoning About Plans
por: Allen, James, et al.
Publicado: (2014)

Perspectives On Thinking And Reasoning
por: Newstead, Stephen, et al.
Publicado: (2013)

Automated biometrics: technologies and systems
por: Zhang, David D
Publicado: (2000)

Maths mastery reasoning: everything you need to teach mathematical reasoning through mastery
por: Bee, John
Publicado: (2020)

Automated reasoning with analytic tableaux and related methods: 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019, proceedings
por: Cerrito, Serenella, et al.
Publicado: (2019)

Brilliant verbal reasoning tests: everything you need to know to pass verbal reasoning tests
por: Williams, Robert
Publicado: (2009)

Automation Challenges of Socio-technical Systems
por: Vanderhaegen, Frederic
Publicado: (2019)

Advances in medicine and biology volume 161
por: Berhardt, Leon V
Publicado: (2020)

The 7 Hidden Reasons Employees Leave
por: Branham, Leigh
Publicado: (2012)

Case-based reasoning on images and signals
por: Perner, Petra
Publicado: (2007)

Reasoning in physics: the part of common sense
por: Viennot, L
Publicado: (2001)

Automated reasoning: 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, Vienna, Austria, July 19-22, 2014, proceedings
por: Demri, Stéphane, et al.
Publicado: (2014)

Audit of the EF Wang Office Automation Systems
por: Feldmann, E
Publicado: (1986)

Optimal Supervisory Control of Automated Manufacturing Systems
por: Chen, Yufeng
Publicado: (2013)

SARA - a small automated reasoning assistant
por: Gabriel, J R
Publicado: (1986)

Dissipative Solitons: From Optics to Biology and Medicine
por: Ankiewicz, Adrian, et al.
Publicado: (2008)

Yost finds yet another reason to be paranoid
Publicado: (2008)

Models of strategic reasoning: logics, games, and communities
por: van Benthem, Johan, et al.
Publicado: (2016)

Mathematical models for teaching: reasoning without memorization
por: Kajander, Ann, et al.
Publicado: (2013)

Biological reasoning…and statistics…
por: Gupta, Sudeep
Publicado: (2009)

The SPS Office Automation System (WangOIS 140)
por: Den Herder, J
Publicado: (1986)

2nd Mediterranean Conference on Intelligent Systems and Automation
por: Beji, Lotfi, et al.
Publicado: (2009)

1st Mediterranean Conference on Intelligent Systems and Automation
por: Arioui, Hichem, et al.
Publicado: (2008)

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
por: Galmiche, Didier, et al.
Publicado: (2018)

Workflow Automation with Microsoft Power Automate
por: Guilmette, Aaron
Publicado: (2020)

Robotic Process Automation with Automation Anywhere
por: Mahey, Husan
Publicado: (2020)

Reinforced reasoning in medicine
por: Auker‐Howlett, Daniel, et al.
Publicado: (2019)

4th International Symposium on Fractals in Biology and Medicine
Publicado: (2004)

Cannot write session to /tmp/vufind_sessions/sess_jqega88tdg8scp14qn8r3duv3l