Hasil Pencarian - Xinran Ning

  • Menampilkan 1 - 2 hasil dari 2
Perbaiki Hasil
  1. 1
    Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic

    Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic oleh Xinran Ning, Yang Xu, Guanfeng Wu, Huimin Fu

    Diterbitkan 2018-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic

    CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic oleh Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, Xinran Ning

    Diterbitkan 2019-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: