1991 - Prolog and Expert Systems (Paperback) ISBN-13: 9780071008433 ISBN-10: 0071008438 Genres: Business & Money, Computers & Technology ? 1991 - Prolog Expert Systems Programming (Paperback) ISBN-13: 9780070067318 ISBN-10: 0070067317 Genre: Computers & Technology ? Model Theory for Modal Logic Kripke Models for Modal Predicate Calculi [Synthese Library - Vol 127] (Hardcover) ISBN-13: 9789027709295 ISBN-10: 9027709297 Genre: Nonfiction ? |