( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules.

, , и . TABLEAUX, том 9323 из Lecture Notes in Computer Science, стр. 6-21. Springer, (2015)

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.

Thomas Maibaum

Edward Stephen Schotland

Stephen Thomas

Theodor Maibaum

Bert Maibaum

 

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

Stateflow to Tabular Expressions., , , и . SoICT, стр. 312-319. ACM, (2015)Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements., , , , и . HCI (17), том 9185 из Lecture Notes in Computer Science, стр. 387-398. Springer, (2015)Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems., , , и . Fundam. Informaticae, 166 (4): 297-347 (2019)A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules., , и . TABLEAUX, том 9323 из Lecture Notes in Computer Science, стр. 6-21. Springer, (2015)A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case., , и . ICFEM, том 10009 из Lecture Notes in Computer Science, стр. 1-17. (2016)