Logique, réduction, résolution

Author(s)

Bibliographic Information

Logique, réduction, résolution

René Lalement ; préface de Michel Demazure

（Études et recherches en informatique）

Masson, 1990

Available at  / 2 libraries

Search this Book/Journal

Note

Bibliography : p. 359-363

Includes index

Related Books： 1-1 of 1

Details

  • NCID
    BA11153721
  • ISBN
    • 2225821046
  • Country Code
    fr
  • Title Language Code
    fre
  • Text Language Code
    fre
  • Place of Publication
    Paris
  • Pages/Volumes
    xiii, 370 p.
  • Size
    25 cm
  • Parent Bibliography ID
Page Top