Olusegun Oke Library, Ladoke Akintola University of Technology

Your cart is empty.
LAUTECH
Normal view MARC view ISBD view

Propositional logic : deduction and algorithms /

by Kleine Büning, H.
[ Books ]
Additional authors: Lettman, Theodor.
Series: Cambridge tracts in theoretical computer science ; Published by : Cambridge University Press, (Cambridge [England] ; | New York :) Physical details: x, 409 p. : ISBN:0521630177 .
Subject(s): Computer logic. | Computer algorithms.
Year: 1999 Item type: Books
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Collection Call number Copy number Status Date due Barcode
OLUSEGUN OKE LIBRARY LAUTECH
Non-fiction QA76 .K54 1999 (Browse shelf) 1 Available 0015376

There are no comments for this item.

Log in to your account to post a comment.