Skip to contents

  1. Dojat, Michel [Editor]; Keravnou, Elpida [Editor]; Barahona, Pedro [Editor] ; Conference on Artificial Intelligence in Medicine in Europe 9 2003 Paralimni

    Artificial intelligence in medicine : 9th Conference on Artificial Intelligence in Medicine in Europe, Protaras, Cyprus, October 18 - 22, 2003 ; proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2003

    Published in: Lecture notes in computer science ; 2780

  2. Azevedo, Francisco [Editor]; Barahona, Pedro [Other]; Fages, François [Other]; Rossi, Francesca [Other] ; International Workshop on Constraint Solving and Constraint Logic Programming 11 2006 Caparica

    Recent advances in constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006 ; revised selected and invited papers

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Published in: Lecture notes in computer science ; 4651

  3. Barahona, Pedro [Author] ; Alferes, José J. [Other]

    Progress in Artificial Intelligence : 9th Portuguese Conference on Artificial Intelligence, EPIA ’99 Évora, Portugal, September 21–24, 1999 Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999

    Published in: Lecture notes in computer science ; 1695

  4. Barahona, Pedro [Author] ; Stefanelli, Mario [Other]; Wyatt, Jeremy [Other]

    Artificial Intelligence in Medicine : 5th Conference on Artificial Intelligence in Medicine Europe, AIME '95, Pavia, Italy, June 25 - 28, 1995. Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

    Published in: Lecture notes in computer science ; 934

  5. Nguyen, Van-Hau [Author] ; Hölldobler, Steffen [Degree supervisor]; Barahona, Pedro [Degree supervisor] Technische Universität Dresden

    SAT encodings of finite CSPs

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015 ; Dresden: Technische Universität Dresden, 2015

  6. Dojat, Michel [Author] ; Barahona, Pedro [Other]; Keravnou, Elpida [Other]

    Artificial Intelligence in Medicine : 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003, Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2003

    Published in: Lecture notes in computer science ; 2780

  7. Quaglini, Silvana [Author] ; Andreassen, Steen [Other]; Barahona, Pedro [Other]

    Artificial Intelligence in Medicine : 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1–4, 2001, Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

    Published in: Lecture notes in computer science ; 2101

  8. Dojat, Michel [Author] ; Keravnou, Elpida T. [Other]; Barahona, Pedro [Other]

    Artificial Intelligence in Medicine : 9th Conference on Artificial Intelligence, in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003. Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg: Springer, 2003

    Published in: Lecture notes in computer science ; 278000

  9. Azevedo, Francisco [Other]; Barahona, Pedro [Other]; Fages, François [Other]; Rossi, Francesca [Other]

    Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Published in: Lecture notes in computer science ; 4651

  10. Barahona, Pedro [Other]; Bry, François [Other]; Franconi, Enrico [Other]; Henze, Nicola [Other]; Sattler, Ulrike [Other]

    Reasoning Web (vol. # 4126) : Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Published in: Lecture notes in computer science ; 4126