PakCat catalogue record Formal methods in artificial intelligence By Delahaye, J. P. Bibliographic details ISBN094653618X Publication year1987 LanguageEnglish Material typeBook SubjectsArtificial intelligence--Data processing