Propostional logic : deduction and algorithms /

Propostional logic : deduction and algorithms /

Bibliographic Details
Main Authors: Kleine Büning, H (Hans), Kleine Büning, H (Hans)
Other Authors: Lettmann, T (Theodor)
Format: Book
Language:English
German
Published: Cambridge, U.K. ; New York : Cambridge University Press, 1999
Edition:English ed
Series:Cambridge tracts in theoretical computer science ; 48
Cambridge tracts in theoretical computer science ; 48
Subjects:
Computer algorithms
Computer logic

Internet

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number: QA76.9.L63.K54 1999

Duke University

Holdings details from Duke University
Call Number: QA76.9.L63 K54 1999

Brown University

Holdings details from Brown University
Call Number: QA76.9.L63 K5413x 1999

Similar Items