Logic for computer science, Foundations of Automatic Theorem Proving, Jean H. Gallier, Second Edition, Dover Publications 533 pages Tham khảo: BIG_ E.HPDE: 4_4…. đ |
Logic for computer science, Foundations of Automatic Theorem Proving, Jean H. Gallier, Second Edition, Dover Publications 533 pages Tham khảo: BIG_ E.HPDE: 4_4…. đ |