Image from Google Jackets

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE THEOREM PROVING WITH ANALYTICAL TABLEAUX AND RELATED METHODS edited by CARBONELL G. JAIME

Contributor(s): CARBONELL G. JAIMEMaterial type: TextTextPublication details: BERLIN Springer 1991 Subject(s): LECTURE NOTES IN ARTIFICIAL INTELLIGENCE (COMPUTERS) | COMPUTER SCIENCEDDC classification: 006.306
Star ratings
    Average rating: 0.0 (0 votes)