Bokus

Luis M. Pereira – författare

Visar alla böcker från författaren Luis M. Pereira. Handla med fri frakt och snabb leverans.

5 produkter

  1. Luis M. Pereira, Gerhard Brewka, Inma P. de Guzman, Manuel Ojeda-Aciego - Logics in Artificial Intelligence, E-bok. Tillgänglighet: Lägg i varukorg

    Logics in Artificial Intelligence

    European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings

    Av Luis M. Pereira, Gerhard Brewka m. fl.

    E-bok, 2003

    734 kr

    Lägg i varukorg

  2. Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis M. Pereira - Logics in Artificial Intelligence, Häftad. Tillgänglighet: Lägg i varukorg

    Logics in Artificial Intelligence

    European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings

    Av Manuel Ojeda-Aciego, Inma P. de Guzman m. fl.

    Häftad, 2000

    568 kr

    Lägg i varukorg

    Logics have, for many years, laid claim to providing a formal basis for the study of arti?cial intelligence. With the depth and maturity of methodologies, formalisms, procedures, implementations, and their applications available today, this claim is stronger than ever, as witnessed by increasing …

  3. Peter J. Stuckey, Yehoshua Sagiv, Luis M. Pereira, Catuscia Palamidessi, Kung-Kiu Lau, Manfred Kerber, Ulrich Furbach, Veronica Dahl, John Lloyd - Computational Logic - CL 2000, E-bok. Tillgänglighet: Lägg i varukorg

    Computational Logic - CL 2000

    First International Conference London, UK, July 24–28, 2000 Proceedings

    Av Peter J. Stuckey, Yehoshua Sagiv m. fl.

    E-bok, 2003

    739 kr

    Lägg i varukorg

    These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where …

  4. Craig MacNish, David Pearce, Luis M. Pereira - Logics in Artificial Intelligence, Häftad. Tillgänglighet: Lägg i varukorg

    Logics in Artificial Intelligence

    European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings

    Av Craig MacNish, David Pearce m. fl.

    Häftad, 1994

    568 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited …

  5. John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey - Computational Logic — CL 2000. Tillgänglighet: Lägg i varukorg

    Computational Logic — CL 2000

    First International Conference London, UK, July 24–28, 2000 Proceedings

    Av John Lloyd, Veronica Dahl m. fl.

    2000

    669 kr

    Lägg i varukorg

    These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where …