Normal view MARC view ISBD view

Symbolic logic and mechanical theorem proving

by Chang, Chin-Liang
Authors: Lee, Richard Char-Tung Series: Computer science classics Published by : Academic Press (New York ) Physical details: xv, 331p ill 24 cm ISBN: 0121703509. Subject(s): Logic, Symbolic and mathematical | Automatic theorem proving | Artificial intelligence Year: 1973
    average rating: 0.0 (0 votes)
Item type Location Call number Copy Status Date due
Livro Livro IST - Biblioteca do Complexo
IST-Bib Complexo
QA9.CHA.36654 (Browse shelf) 1 Available

Bibliography p.309-324. - Includes index

Click on an image to view it in the image viewer


© 2012, Universidade de Lisboa
Todos os direitos reservados - All rights reserved
Languages: