Automated reasoning introduction and applications Larry Wos ... [et al.].

By: Wos Larry [ed..]Material type: TextTextPublisher: Englewood Cliffs, N.J. : Prentice-Hall, c1984Description: xiv, 482 p. : ill. ; 24 cmISBN: 0130544531; ; 0130544469 (pbk.)Subject(s): Automatic theorem proving.; Artificial intelligence.; Computer programming
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
Books Books TUM Main Campus
QA76.9.A96A93 1984 (Browse shelf) Available 032612

Includes index

Technical University of Mombasa
Tom Mboya Street, Tudor 90420-80100 , Mombasa Kenya
Tel: (254)41-2492222/3 Fax: 2490571