西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

检索到 6 条 主题词=Logic programming. 的结果    

 


所有图书 可借图书

  1. 西文图书1.Logic program synthesis and transformation : proceedings of LOPSTR '91, International Workshop on Lo TP302.2-53/E1:(91)

    馆藏复本:1
    可借复本:1
    sponsored by the Association for Logic Programming and ALPUK ; T.P. Clement and K.-K. Lau (eds.)
    Springer-Verlag, c1992.
    (0) 馆藏

  2. 西文图书2.Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / TP312-53/E1:6(87)

    馆藏复本:1
    可借复本:1
    K. Furukawa, H. Tanaka, T. Fujisaki, eds.
    Springer-Verlag, c1988.
    (0) 馆藏

  3. 西文图书3.Logic programming : proceedings of the North American conference, 1989, v. 1 / TP311-53/E1:1:(89)

    馆藏复本:1
    可借复本:1
    edited by Ewing L. Lusk and Ross A. Overbeek.
    MIT Press, c1989.
    (0) 馆藏

  4. 西文图书4.Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russ TP302.2-53/1:(92)E

    馆藏复本:1
    可借复本:1
    A. Voronkov, ed.
    Springer-Verlag, c1992.
    (0) 馆藏

  5. 西文图书5.P-Prolog, a parallel logic programming language / TP312/39E

    馆藏复本:1
    可借复本:1
    Rong Yang.
    World Scientific, c1987.
    (0) 馆藏

  6. 西文图书6.Logic programming : proceedings of the 1993 international Symposium / TP31-53/E17:7TH:(90)

    馆藏复本:2
    可借复本:2
    edited by Dale Miller.
    MIT Press, c1993.
    (0) 馆藏


返回顶部