Logique, réduction, résolution
By: René Lalement ; préface de Michel Demazure.
Series: Études et recherches en informatique
Publisher: Masson
Published: 1990
Place of publication: Paris
Language: fre
Number of pages: 370
Subjects: Logique symbolique et mathématique.
Notes: 14282418 utlas

1