Artificial Intelligence and Symbolic Mathematical ComputationJaques Calmet, John A. Campbell, Jochen PfalzgrafHäftad554 kr
Programming Languages: Implementations, Logics, and ProgramsHerbert Kuchen, S.Doaitse SwierstraHäftad554 kr