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