Risultati della ricerca - "Programmation logique."

  1. 1
    Copertina

    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...

    Pubblicazione c2006
    Libro

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

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

    Pubblicazione ©1994
    Libro

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

    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...

    Pubblicazione ©1995
    Libro

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

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

    Pubblicazione 1982
    Libro

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

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

    Pubblicazione ©1991
    Libro

    Aggiungi alla lista
    Salvato in:
  6. 6
    Copertina

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

    Pubblicazione ©1986
    Libro

    Aggiungi alla lista
    Salvato in:
  7. 7
    Copertina

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

    Pubblicazione ©1987
    Libro

    Aggiungi alla lista
    Salvato in:
  8. 8
    Copertina

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

    Pubblicazione ©1996
    Libro

    Aggiungi alla lista
    Salvato in:
  9. 9
    Copertina

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

    Pubblicazione 1985
    Libro

    Aggiungi alla lista
    Salvato in:
  10. 10
    Copertina

    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,...

    Pubblicazione ©1996
    Libro

    Aggiungi alla lista
    Salvato in:
  11. 11
    Copertina

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

    Pubblicazione ©1993
    Libro

    Aggiungi alla lista
    Salvato in:
  12. 12
    Copertina

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

    Pubblicazione ©1997
    Libro

    Aggiungi alla lista
    Salvato in:
  13. 13
    Copertina

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

    Pubblicazione 1986
    Libro

    Aggiungi alla lista
    Salvato in:
  14. 14
    Copertina

    Functional and logic programming : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings / Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.).

    Pubblicazione ©2002
    Libro

    Aggiungi alla lista
    Salvato in:
  15. 15
    Copertina

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

    Pubblicazione ©1991
    Libro

    Aggiungi alla lista
    Salvato in:
  16. 16
    Copertina

    The journal of logic and algebraic programming.

    Pubblicazione ©2001
    Continuing Resources

    Aggiungi alla lista
    Salvato in:
  17. 17
    Copertina

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

    Pubblicazione ©1992
    Libro

    Aggiungi alla lista
    Salvato in:
  18. 18
    Copertina

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

    Pubblicazione ©1995
    Libro

    Aggiungi alla lista
    Salvato in:
  19. 19
    Copertina

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

    Pubblicazione 1970
    Libro

    Aggiungi alla lista
    Salvato in:
  20. 20
    Copertina

    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].

    Pubblicazione 1975
    Libro

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: