Propositional logic : deduction and algorithms

Author(s)

• Kleine Büning, Hans
• Lettman, Theodor

Bibliographic Information

Propositional logic : deduction and algorithms

Hans Kleine Büning, Theodor Lettman

（Cambridge tracts in theoretical computer science, 48）

Cambridge University Press, 1999

Note

Includes bibliographical references (p. 385-402) and index

First published in German by B.G.Teubner in 1994

• NCID: BA42595724
• ISBN:
  • 0521630177
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Original Language Code: ger
• Place of Publication: Cambridge
• Pages/Volumes: x, 409 p.
• Size: 24 cm
• Classification:
  • DC21 : 005.131
• Subject Headings:
  • LCSH : Algorithms
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Artificial intelligence
• Parent Bibliography ID:
  • BA01121831