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