Logic for computer science, Foundations of Automatic Theorem Proving, Jean H. Gallier, Second Edition, Dover Publications 533 pages Báo giá: Bản mềm PDF: 40.000 đ
Logic for computer science, Foundations of Automatic Theorem Proving, Jean H. Gallier, Second Edition, Dover Publications 533 pages Báo giá: Bản mềm PDF: 40.000 đ