Toon 111 - 120 resultaten van 1.422 Voor zoekopdracht '"Symbolism"', zoektijd: 0,02s Verfijn jouw resultaten
  1. 111

    Strict finitism and the logic of mathematical applications door Ye, Feng

    Gepubliceerd in 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
  2. 112

    Probabilistic logics and probabilistic networks

    Gepubliceerd in 2011
    Available for the University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Probabilistic logics and probabilistic networks
  3. 113

    Logic and games on automatic structures playing with quantifiers and decompositions door Kaiser, Lukasz

    Gepubliceerd in 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
  4. 114

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

    Gepubliceerd in 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
  5. 115

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

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Mathematical logic and model theory a brief introduction
  6. 116

    Aspects of mathematical logic door Casari, E.

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Aspects of mathematical logic
  7. 117

    Apartness and uniformity a constructive development door Bridges, Douglas S., Vîta, Luminita Simona

    Gepubliceerd in Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Apartness and uniformity a constructive development
  8. 118

    Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
  9. 119

    Formal concept analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal concept analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
  10. 120

    Frontiers of combining systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

    Gepubliceerd in 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Frontiers of combining systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

Zoekinstrumenten: