( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta.

, , и . ISMVL, стр. 9. IEEE Computer Society, (2006)

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.

Matthias Meyer

Musterbasiertes Re-Engineering von Softwaresystemen. Uni Paderborn, (2009)

Matthias Hägele

Immunrekonstitution nach haploidenter hämatopoetischer Stammzelltransplantation: Einfluss eines CD3-CD19-depletierten gegenüber einem CD34-selektionierten Transplantat. Uni Tübingen, (2008)

Matthias Schmidt

Topographische Verteilung und Morphometrie von retinalen Mikrogliazellen. Uni Münster, (2009)

Matthias Möller

Antikaons in infinite nuclear matter and nuclei. TU Darmstadt, (2007)

Matthias Zimmer

Risikomanagment: Fehlermanagment in der präklinischen Notfallmedizin. Uni Frankfurt Main, (2009)
 

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

Note on Conditional Constructivity.. Algebraic and Proof-theoretic Aspects of Non-classical Logics, том 4460 из Lecture Notes in Computer Science, стр. 25-29. Springer, (2006)Embedding Logics into Product Logic., , , и . Stud Logica, 61 (1): 35-47 (1998)Cut-Elimination: Experiments with CERES., , , , и . LPAR, том 3452 из Lecture Notes in Computer Science, стр. 481-495. Springer, (2004)Dual systems of sequents and tableaux for many-valued logics., , и . Bulletin of the EATCS, (1993)Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können.. ÖGAI, том 151 из Informatik-Fachberichte, стр. 176-181. Springer, (1987)An Analytic Calculus for Quantified Propositional Gödel Logic., , и . TABLEAUX, том 1847 из Lecture Notes in Computer Science, стр. 112-126. Springer, (2000)Unsound Inferences Make Proofs Shorter., и . CoRR, (2016)Compact Propositional Gödel Logics., и . ISMVL, стр. 108-113. IEEE Computer Society, (1998)Systematic Construction of Natural Deduction Systems for Many-Valued Logics., , и . ISMVL, стр. 208-213. IEEE Computer Society, (1993)Quantified Propositional Gödel Logics., , и . LPAR, том 1955 из Lecture Notes in Computer Science, стр. 240-256. Springer, (2000)