Search Results - "Programmation logique."

  1. 1
    Cover Image

    Logic based program synthesis and transformation 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers / Patricia M. Hill (ed.). [ele...

    Published c2006
    Book

    Save to List
    Saved in:
  2. 2
    Cover Image

    Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.).

    Published ©1994
    Book

    Save to List
    Saved in:
  3. 3
    Cover Image

    Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyńsk...

    Published ©1995
    Book

    Save to List
    Saved in:
  4. 4
    Cover Image

    Logics of Programs Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen.

    Published 1982
    Book

    Save to List
    Saved in:
  5. 5
    Cover Image

    Conclog : a methodological approach to concurrent logic programming / J.-M. Jacquet.

    Published ©1991
    Book

    Save to List
    Saved in:
  6. 6
    Cover Image

    Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 / edited by Eiiti Wada.

    Published ©1986
    Book

    Save to List
    Saved in:
  7. 7
    Cover Image

    From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse.

    Published ©1987
    Book

    Save to List
    Saved in:
  8. 8
    Cover Image

    Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira.

    Published ©1996
    Book

    Save to List
    Saved in:
  9. 9
    Cover Image

    A.I.-based real-time support for high performance aircraft operations : final status report / principal investigator, Jacques J. Vidal.

    Published 1985
    Book

    Save to List
    Saved in:
  10. 10
    Cover Image

    Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings / José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska,...

    Published ©1996
    Book

    Save to List
    Saved in:
  11. 11
    Cover Image

    Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers.

    Published ©1993
    Book

    Save to List
    Saved in:
  12. 12
    Cover Image

    Static analysis : 4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / Pascal van Hentenryck, ed.

    Published ©1997
    Book

    Save to List
    Saved in:
  13. 13
    Cover Image

    Logic programming and its applications / edited by Michel van Caneghem and David H.D. Warren.

    Published 1986
    Book

    Save to List
    Saved in:
  14. 14
    Cover Image

    Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszyński, M. Wirsing,...

    Published ©1991
    Book

    Save to List
    Saved in:
  15. 15
    Cover Image

    The journal of logic and algebraic programming.

    Published ©2001
    Continuing Resources

    Save to List
    Saved in:
  16. 16
    Cover Image

    Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (e...

    Published ©1992
    Book

    Save to List
    Saved in:
  17. 17
    Cover Image

    Fuji International Workshop on functional and logic programming : Susono, Japan, July 17-19, 1995 / editors, Masato Takeichi, Tetsuo Ida.

    Published ©1995
    Book

    Save to List
    Saved in:
  18. 18
    Cover Image

    Mar cántico. [Con dibujos originales de la artista Marta Belmes.

    Published 1970
    Book

    Save to List
    Saved in:
  19. 19
    Cover Image

    Bibliographie des œuvres de Zénaïde Hippius = Zinaida Gippius, bibliografii︠a︡ / établie par Any Barda ; [publié par le Laboratoire de slavistique de Paris I].

    Published 1975
    Book

    Save to List
    Saved in:
  20. 20
    Cover Image

    Puspitasari, prawan Bali; gambar S. Har.

    Published 1964
    Book

    Save to List
    Saved in:

Search Tools: