( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automated Reasoning in Metabolic Networks with Inhibition.

, , и . AI*IA, том 8249 из Lecture Notes in Computer Science, стр. 37-47. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Pedro López Fariñas

Werner Luis

Pia Luislampe

Mathieu Luisier

Werner Luis

 

Другие публикации лиц с тем же именем

A General Framework for Pattern-Driven Modal Tableaux., и . Logic Journal of the IGPL, 10 (1): 51-83 (2002)Modal Tableaux: Completeness vs. Termination., , , и . We Will Show Them! (1), стр. 587-614. College Publications, (2005)A Framework for Modelling Molecular Interaction Maps., , , , и . FLAP, 8 (7): 1917-1952 (2021)Valid attacks in argumentation frameworks with recursive attacks., , , и . Ann. Math. Artif. Intell., 89 (1-2): 53-101 (2021)An Ordinal View of Independence with Application to Plausible Reasoning, , , и . CoRR, (2013)Possibility Theory and Independence., и . IPMU, том 945 из Lecture Notes in Computer Science, стр. 292-301. Springer, (1994)Metabolic Pathways as Temporal Logic Programs., , и . JELIA, том 10021 из Lecture Notes in Computer Science, стр. 3-17. (2016)Interference Logic = Conditional Logic + Frame Axiom., и . ECSQARU, том 747 из Lecture Notes in Computer Science, стр. 105-112. Springer, (1993)DAL - A Logic for Data Analysis., и . FGCS, стр. 254-261. OHMSHA Ltd. Tokyo and North-Holland, (1984)Metaprogramming Through Intensional Deduction: Some Examples., и . META, том 649 из Lecture Notes in Computer Science, стр. 11-25. Springer, (1992)