Publication

Nos Events
Nos Actus

Liens
- Université Ibn Khaldoun
- Webmail
- CNRST
- MGEN
- MENSUP
- AH2ST
- CSEFRS
Rechercher
- Annuaire
- Journaux
- Publications
- Ouvrages
- Thèses
- Congrès
- Communications
- Brevets
- Enseignement
- Recrutement
- Appels d'offres
- Annonces
A propos de Nous
En

En

Admissions
Recherche
Stratégie de recherche
Formations doctorales
- Centre des études doctorales
- Habilitation
Publications & Congrès
Innovation
- Plateformes techniques
- Brevets
Formations
Filières
Ressources pédagogiques
- Bibliothèque
- Cours en ligne
Scolarité
Gouvernance
A propos de Nous

Rechercher dans

Annuaire
Journaux
Publications
Ouvrages
Thèses
Congrès
Communications
Brevets
Enseignement
Recrutement
Appels d'offres
Annonces

Liens

Université Ibn Khaldoun
Webmail
CNRST
MGEN
MENSUP
AH2ST
CSEFRS

Nos Events & Actus

Nos Events
Nos Actus

FSA
Publications

Publication

Proofs without syntax

Proofs without syntax

Journal of Pure and Applied Algebra 1 (2014) , 25-38

Version publiée

Auteurs

OUDADESS Mohamed

BOUCHENTOUF Amina angelika

IMDAD Mohammad

KAMA LAHMAD Ahmad

Autres auteurs

EVANGELINE Kirestin

Faculté des Science d'Assilah
Université Ibn Khaldoun
53000 Assilah-tanger
Maroc

webmaster@aurat.ma

Tél:0611001100
0611001100

Fax:0611001100
0611001100

Lettres d'information
Recrutement
Appels d'offres
Annuaire
Aires communes et salles
Contacter-nous

Centre d'études doctorales
Laboratoires de Recherche
Centres de Recherche
Equipes de Recherche

Licences
Licence Professionelle
Master
Bibliothèque

Conseil d'Etablissement
Commissions
Bureau décanal
Départements
Services

Lycéens : entrer à la faculté
Inscription en premier cycle
Master
Doctorat
Étudiants internationaux

Site réalisé par Mentis

Erreur

Un problème est survenu. Veuillez réessayer ou contacter l'administrateur de l'application.