Arama Sonuçları - "Programmation logique"

  1. 1
    Kapak Resmi

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

    Baskı/Yayın Bilgisi c2006
    Kitap

    Favorilerime ekle
    Kaydedildi:
  2. 2
    Kapak Resmi

    Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings / Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister, ed...

    Baskı/Yayın Bilgisi ©1996
    Kitap

    Favorilerime ekle
    Kaydedildi:
  3. 3
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©1994
    Kitap

    Favorilerime ekle
    Kaydedildi:
  4. 4
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©1995
    Kitap

    Favorilerime ekle
    Kaydedildi:
  5. 5
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1982
    Kitap

    Favorilerime ekle
    Kaydedildi:
  6. 6
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©1991
    Kitap

    Favorilerime ekle
    Kaydedildi:
  7. 7
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©1986
    Kitap

    Favorilerime ekle
    Kaydedildi:
  8. 8
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©1987
    Kitap

    Favorilerime ekle
    Kaydedildi:
  9. 9
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©1996
    Kitap

    Favorilerime ekle
    Kaydedildi:
  10. 10
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1985
    Kitap

    Favorilerime ekle
    Kaydedildi:
  11. 11
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©1996
    Kitap

    Favorilerime ekle
    Kaydedildi:
  12. 12
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©1993
    Kitap

    Favorilerime ekle
    Kaydedildi:
  13. 13
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©1997
    Kitap

    Favorilerime ekle
    Kaydedildi:
  14. 14
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1986
    Kitap

    Favorilerime ekle
    Kaydedildi:
  15. 15
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©2002
    Kitap

    Favorilerime ekle
    Kaydedildi:
  16. 16
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©1991
    Kitap

    Favorilerime ekle
    Kaydedildi:
  17. 17
    Kapak Resmi

    The journal of logic and algebraic programming.

    Baskı/Yayın Bilgisi ©2001
    Continuing Resources

    Favorilerime ekle
    Kaydedildi:
  18. 18
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©1992
    Kitap

    Favorilerime ekle
    Kaydedildi:
  19. 19
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©1995
    Kitap

    Favorilerime ekle
    Kaydedildi:
  20. 20
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1970
    Kitap

    Favorilerime ekle
    Kaydedildi:

Arama Araçları: