PakCat catalogue record Validating and verifying knowledge-based systems By Gupta, Uma Bibliographic details ISBN0818659955 PublisherIEEE Computer Society Press Publication placeLos Alamitas, Calif. Publication year1991 Material typeBook Physical descriptionix, 409 p. Additional authorsGupta, Uma G. SubjectsExpert systems (Computer science)