Séminaire de complexité algorithmique et de logique 1986-1987-1988/ P. Michel, J.P. Ressayre. - Paris: U.E.R. de Mathemátiques, 1989. - 100 p.: ill.; 23 cm. - Publications mathématiques de l°Université Paris 7, 0073-8301 . - Publications mathématiques de l'Université Paris VII .

Includes bibliographical references.


Logique symbolique et mathématique.
Algorithmes.
Logic, Symbolic and mathematical.
Algorithms.

511.3 / S471