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