Đang hiển thị 31 - 40 kết quả của 501 cho tìm kiếm '"Logic Symbolic and mathematical."', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 31

    Proofs and algorithms an introduction to logic and computability Bằng Dowek, Gilles

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Proofs and algorithms an introduction to logic and computability
  2. 32

    Logic, language, information and computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Logic, language, information and computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
  3. 33

    Logic, rationality, and interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Logic, rationality, and interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
  4. 34

    Hybrid logic and its proof-theory Bằng Braüner, Torben

    Được phát hành 2011
    Available for UP System via SpringerLink.
    Electronic Resource

    Hybrid logic and its proof-theory
  5. 35

    Strict finitism and the logic of mathematical applications Bằng Ye, Feng

    Được phát hành 2011
    Available for the University of the Philippines Diliman via Springerlink. Click here to access
    Electronic Resource

    Strict finitism and the logic of mathematical applications
  6. 36

    Probabilistic logics and probabilistic networks

    Được phát hành 2011
    Available for the University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Probabilistic logics and probabilistic networks
  7. 37

    Logic and games on automatic structures playing with quantifiers and decompositions Bằng Kaiser, Lukasz

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Logic and games on automatic structures playing with quantifiers and decompositions
  8. 38

    Logic and its applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Logic and its applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
  9. 39

    Mathematical logic and model theory a brief introduction Bằng Prestel, A. (Alexander) 1941-, Delzell, Charles N. 1953-

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Mathematical logic and model theory a brief introduction
  10. 40

    Aspects of mathematical logic Bằng Casari, E.

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Aspects of mathematical logic

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