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