Erakusten 161 - 170 emaitzak -- 501 bilaketa honetara '"Logic Symbolic and mathematical."', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 161

    Handbook of logic in artificial intelligence and logic programming

    Argitaratua 1993
    Liburua

    Handbook of logic in artificial intelligence and logic programming
  2. 162

    Essays on Wittgenstein's Tractatus nork Copi, Irving M.

    Argitaratua 1993
    Liburua

    Essays on Wittgenstein's Tractatus
  3. 163

    Diophantus introduction to mathematical philosophy (with solution of fermat and other applications) nork Escultura, Edgar E.

    Argitaratua 1993
    Liburua

    Diophantus introduction to mathematical philosophy (with solution of fermat and other applications)
  4. 164

    The deductive foundations of computer programming a one-volume version of the logical basis for computer programming nork Manna, Zohar

    Argitaratua 1993
    Liburua

    The deductive foundations of computer programming a one-volume version of the logical basis for computer programming
  5. 165

    Foundations of abstract mathematics nork Kurtz, David

    Argitaratua 1992
    Liburua

    Foundations of abstract mathematics
  6. 166

    Proof and knowledge in mathematics

    Argitaratua 1992
    Liburua

    Proof and knowledge in mathematics
  7. 167

    Algebraic and logic programming proceedings nork International Conference on Algebraic and Logic Programming (3rd: 1992: Volterra, Italy)

    Argitaratua 1992
    Liburua

    Algebraic and logic programming proceedings
  8. 168

    Introductory symbolic logic nork Wilson, John K. 1946-

    Argitaratua 1992
    Liburua

    Introductory symbolic logic
  9. 169

    Foundations of abstract mathematics nork Kurtz, David C.

    Argitaratua 1992
    Liburua

    Foundations of abstract mathematics
  10. 170

    From natural language processing to logic for expert systems a logic based approach to artificial intelligence

    Argitaratua 1991
    Liburua

    From natural language processing to logic for expert systems a logic based approach to artificial intelligence

Bilaketa egiteko lanabesak: