Deduction : automated logic

Author(s)

Bibliographic Information

Deduction : automated logic

by Wolfgang Bibel ; with the assistance of Steffen Hölldobler and exercises by Gerd Neugebauer ; translated by Monika Lekuse with the assistance of Donald Sannella

Academic Press, c1993

Available at  / 23 libraries

Search this Book/Journal

Note

Bibliography: p. 223-239

Includes index

Details

  • NCID
    BA20266911
  • ISBN
    • 012095835X
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Original Language Code
    ger
  • Place of Publication
    London ; Tokyo
  • Pages/Volumes
    253 p
  • Size
    24 cm
Page Top