Đang hiển thị 1,971 - 1,980 kết quả của 2,262 cho tìm kiếm '"Logic."', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 1971

    Software verification and validation with destiny a parallel approach to automated theorem proving. Bằng Dykstra, Josiah

    Bài viết

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  2. 1972

    Relational expressive power of constraint query languages. Bằng Benedikt, Michael

    Xuất bản năm Journal of the ACM
    Bài viết

    Relational expressive power of constraint query languages.
  3. 1973

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication. Bằng Fekete, Alan

    Xuất bản năm Journal of the ACM
    Bài viết

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication.
  4. 1974

    Probabilistic checking of proofs a new characterization of NP. Bằng Arora, Sanjeev

    Xuất bản năm Journal of the ACM
    Bài viết

    Probabilistic checking of proofs a new characterization of NP.
  5. 1975

    Theory of neuromata. Bằng íma, Jiří

    Xuất bản năm Journal of the ACM
    Bài viết

    Theory of neuromata.
  6. 1976

    Corrigendum Reasoning about knowledge and probability?. Bằng Fagin, Ronald

    Xuất bản năm Journal of the ACM
    Bài viết

    Corrigendum Reasoning about knowledge and probability?.
  7. 1977

    Software reliability via run-time result-checking. Bằng Wasserman, Hal

    Xuất bản năm Journal of the ACM
    Bài viết

    Software reliability via run-time result-checking.
  8. 1978

    Compositional refinement of interactive systems. Bằng Broy, Manfred

    Xuất bản năm Journal of the ACM
    Bài viết

    Compositional refinement of interactive systems.
  9. 1979

    Applications of a logic of knowledge to motion planning under uncertainty. Bằng Brafman, Ronen I.

    Xuất bản năm Journal of the ACM
    Bài viết

    Applications of a logic of knowledge to motion planning under uncertainty.
  10. 1980

    Satisfiability of word equations with constants is in PSPACE. Bằng Plandowski, Wojciech

    Xuất bản năm Journal of the ACM
    Bài viết

    Satisfiability of word equations with constants is in PSPACE.

Công cụ tìm kiếm: