Normal view MARC view ISBD view

Propositional logic : deduction and algorithms

Kleine Büning, H

Propositional logic : deduction and algorithms Hans Kleine Büning, Theodor Lettman - Cambridge Cambridge University Press 1999 - x, 409 p. : 24 cm

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

ISBN: 9780521630177

ISSN: 98038806

Subjects--Topical Terms:
Computer algorithms
Computer logic

Dewey Class. No.: 004.0151 BUN

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Propositional logic : deduction and algorithms

Find us on the map