00940nam0-22003011i-450-9900009536004033210-444-88130-1000095360FED01000095360(Aleph)000095360FED0100009536020000920d1990----km-y0itay50------baengFormal Techniques in Artificial IntelligenceA sourcebookEdited by Ranan B. BanerjiAmsterdam [etc.]North-Holland1990Studies in Computer Science and Artificial Intelligence6Teoria della programmazione e utilizzazione dei computersSoftware510.78Banerji,Ranan B.44342ITUNINARICAUNIMARCBK9900009536004033218B-25217963FI1FI1Formal Techniques in Artificial Intelligence357933UNINAING01