Publication

Our Events
Our News

Links
- Université Ibn Khaldoun
- Webmail
- CNRST
- MGEN
- MENSUP
- AH2ST
- CSEFRS
Search
- Directory
- Journals
- Publications
- Books
- Theses
- Congresses
- Talks
- Brevets
- Teaching
- Recruitment
- Tenders
- Adverts
About us
Fr

Fr

Admissions
Research
Research strategy
Doctral training
- Doctoral Studies Center
- Habilitation
Publications & Congresses
Innovation
- Technical platforms
- Brevets
Academics
Training
Educational resources
- Library
- Online course
Schooling
Governance
About us

Search within

Directory
Journals
Publications
Books
Theses
Congresses
Talks
Brevets
Teaching
Recruitment
Tenders
Adverts

Links

Université Ibn Khaldoun
Webmail
CNRST
MGEN
MENSUP
AH2ST
CSEFRS

Our Events & News

Our Events
Our News

FSA
Publications

Publication

Proofs without syntax

Proofs without syntax

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

Published version

Authors

OUDADESS Mohamed

BOUCHENTOUF Amina angelika

IMDAD Mohammad

KAMA LAHMAD Ahmad

Other authors

EVANGELINE Kirestin

Faculty of Sciences of Assilah
Université Ibn Khaldoun
53000 Assilah-tanger
Morocco

webmaster@aurat.ma

Tel:0611001100
0611001100

Fax:0611001100
0611001100

News letters
Recruitment
Tenders
Directory
Common areas and rooms
Contact us

Doctoral studies center
Research Laboratories
Research Centers
Research Teams

Bachelor's degrees
Professional Bachelor's Degree
Master
Library

Executive Board
Commissions
Dean office
Departments
Services

High school students: entering the faculty
Undergraduate registration
Master
Doctorate
International students

Site réalisé par Mentis

Error

A problem has occured. Please try again or contact the application's admin.