Suchergebnisse - Mnacho, M | OPAC THWS

1

Abstract 211: Building a Stroke Program in Urban Tanzania: Needs Assessment and a Plan to Move Forward von Nguyen, S, Matuja, S, Mushengezi, B, Mnacho, M, Kigocha, O, Manji, M, Minja, F, Mfinanga, J, Kinghomella, A, Mbuguje, E, Lyimo, F, Jenabi, M, Sheriff, F, Budohoski, K P

Veröffentlicht in Stroke: vascular and interventional neurology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A Superposition Calculus for Abductive Reasoning von Echenim, M., Peltier, N.

Veröffentlicht in Journal of automated reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Unification in a class of permutative theories von BOY DE LA TOUR, Thierry, ECHENIM, Mnacho

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

NP-Completeness results for deductive problems on stratified terms von BOY DE LA TOUR, Thierry, ECHENIM, Mnacho

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

On the Complexity of Deduction Modulo Leaf Permutative Equations von Boy de la Tour, Thierry, Echenim, Mnacho

Veröffentlicht in Journal of automated reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Overlapping Leaf Permutative Equations von de la Tour, Thierry Boy, Echenim, Mnacho

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings von Gramlich, Bernhard, Miller, Dale, Sattler, Ulrike

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: