Preuves interactives classiques

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Bibliographic Details
Main Author: Blier, Hugue
Other Authors: Tapp, Alain
Language:fr
Published: 2017
Subjects:
Online Access:http://hdl.handle.net/1866/16728
id ndltd-umontreal.ca-oai-papyrus.bib.umontreal.ca-1866-16728
record_format oai_dc
spelling ndltd-umontreal.ca-oai-papyrus.bib.umontreal.ca-1866-167282017-03-17T08:20:47Z Preuves interactives classiques Blier, Hugue Tapp, Alain Preuves interactives Arthur-Merlin Complexité Espace polynomial Hiérarchie polynomiale Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal. 2017-03-15T01:20:59Z 2017-03-15T01:20:59Z 2006 2006 Thèse ou Mémoire numérique / Electronic Thesis or Dissertation http://hdl.handle.net/1866/16728 fr
collection NDLTD
language fr
sources NDLTD
topic Preuves interactives
Arthur-Merlin
Complexité
Espace polynomial
Hiérarchie polynomiale
spellingShingle Preuves interactives
Arthur-Merlin
Complexité
Espace polynomial
Hiérarchie polynomiale
Blier, Hugue
Preuves interactives classiques
description Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
author2 Tapp, Alain
author_facet Tapp, Alain
Blier, Hugue
author Blier, Hugue
author_sort Blier, Hugue
title Preuves interactives classiques
title_short Preuves interactives classiques
title_full Preuves interactives classiques
title_fullStr Preuves interactives classiques
title_full_unstemmed Preuves interactives classiques
title_sort preuves interactives classiques
publishDate 2017
url http://hdl.handle.net/1866/16728
work_keys_str_mv AT blierhugue preuvesinteractivesclassiques
_version_ 1718427297904590848