Mohammad Amin Khodadadi - Bücher - alle Infos bei Yasni.de

(1 - 6 von 6

)

Official visit to South Australia by Mr. Mohammad Khodadadi, Charge...

catalogue.nla.gov.au

Available in the National Library of Australia collection. Format: Book; 12 p. ; 21 cm.

Publications of Mohammad Khodadadi

mettel-prover.org

[2], A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI (Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky), ...

Automated Reasoning with Analytic Tableaux and Related Methods: 20th...

books.google.de

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX...

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd...

books.google.de

188 Mohammad Khodadadi, Renate A. Schmidt, and Dmitry Tishkovsky Prefixed Tableau Systems for Logic of Proofs and Provability Hidenori ...

Logics in Artificial Intelligence: 13th European Conference, JELIA...

books.google.de

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September...

Relational and Algebraic Methods in Computer Science: 12th...

books.google.de

Acknowledgements I thank Dmitry Tishkovsky, Hilverd Reker, Mohammad Khodadadi and Ullrich Hustadt for useful discussions. Financial support from the UK ...

Verwandte Suchanfragen zu Mohammad Amin Khodadadi

Amin Khodadadi
Mohammad Khodadadi

Personen
Vorname "Amin" (1785)
Name "Khodadadi" (41)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Mohammad Amin Khodadadi

Official visit to South Australia by Mr. Mohammad Khodadadi, Charge...

Publications of Mohammad Khodadadi

Automated Reasoning with Analytic Tableaux and Related Methods: 20th...

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd...

Logics in Artificial Intelligence: 13th European Conference, JELIA...

Relational and Algebraic Methods in Computer Science: 12th...