Liens externes
  • Directories
  • Faculties
  • Libraries
  • Campus maps
  • Sites A to Z
  • My UdeM
    • Mon portail UdeM
    • My email
    • StudiUM
Dessin du pavillon Roger Gaudry/Sketch of Roger Gaudry Building*
University Home pageUniversity Home pageUniversity Home page
Papyrus : Institutional Repository
Papyrus
Institutional Repository
Papyrus
    • français
    • English
  • English 
    • français
    • English
  • Login
  • English 
    • français
    • English
  • Login
View Item 
  •   Home
  • Faculté des arts et des sciences
  • FAS - Département d'informatique et de recherche opérationnelle
  • Thèses et mémoires - FAS - Département d'informatique et de recherche opérationnelle
  • View Item
  •   Home
  • Faculté des arts et des sciences
  • FAS - Département d'informatique et de recherche opérationnelle
  • Thèses et mémoires - FAS - Département d'informatique et de recherche opérationnelle
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

My Account

To submit an item or subscribe to email alerts.
Login
New user?

Browse

All of PapyrusCommunities and CollectionsTitlesIssue DatesAuthorsAdvisorsSubjectsDisciplinesTitles indexThis CollectionTitlesIssue DatesAuthorsAdvisorsSubjectsDisciplinesTitles index

Statistics

View Usage Statistics
Show metadata
Permalink: http://hdl.handle.net/1866/16728

Preuves interactives classiques

Electronic Thesis or Dissertation
Thumbnail
Blier_Hugue_2006_memoire.pdf (2.264Mb)
2006 (degree granted: 2006)
Author(s)
Blier, Hugue
Advisor(s)
Tapp, Alain
Level
Master's
Discipline
Informatique
Keywords
  • Preuves interactives
  • Arthur-Merlin
  • Complexité
  • Espace polynomial
  • Hiérarchie polynomiale
Note(s)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
Collections
  • Thèses et mémoires - FAS - Département d'informatique et de recherche opérationnelle [591]
  • Thèses et mémoires électroniques de l’Université de Montréal [13935]

DSpace software [version 5.8 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
Certificat SSL / SSL Certificate
les bibliothéques/UdeM
  • Emergency
  • Private life
  • Careers
  • My email
  • StudiUM
  • iTunes U
  • Contact us
  • Facebook
  • YouTube
  • Twitter
  • University RSS
 

 


DSpace software [version 5.8 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
Certificat SSL / SSL Certificate
les bibliothéques/UdeM
  • Emergency
  • Private life
  • Careers
  • My email
  • StudiUM
  • iTunes U
  • Contact us
  • Facebook
  • YouTube
  • Twitter
  • University RSS