| 暂存书架(0) | 登录

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

 


所有图书 可借图书

  1. 西文图书1.R-calculus : a logic of belief revision = R-演算 : 一种信念修正的逻辑 / O177.6/LW

    馆藏复本：2
    可借复本：0     Wei li, Yuefei Sui.
    Science Press, c2023.
    (0) 馆藏

  2. 西文图书2.Logic in computer science modelling and reasoning about systems / 2nd ed.

    馆藏复本：0
    可借复本：0     Michael Huth, Mark Ryan.
    Cambridge University Press, 2004.
    (0) 馆藏

  3. 西文图书3.Interactive relational database design : a logic programming implementation / TP311-53/BTP

    馆藏复本：1
    可借复本：1     Tapan P. Bagchi, Vinay K. Chaudhri.
    World Publishing Corp., 1991.
    (0) 馆藏

  4. 西文图书4.Conclog : a methodological approach to concurrent logic programming / TP311.11/JJM

    馆藏复本：1
    可借复本：1     J.-M. Jacquet.
    Springer-Verlag, c1991.
    (0) 馆藏

  5. 西文图书5.Constraints in computational logics : theory and applications : international summer school, CCL'99, TP3-53/CCL

    馆藏复本：1
    可借复本：1     Hubert Comon, Claude Marche, Ralf Treinen (eds.).
    Springer, c2001.
    (0) 馆藏

  6. 西文图书6.Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1 TP311.1-53/ICL

    馆藏复本：1
    可借复本：1     Philippe Codognet (ed.).
    Springer, c2001.
    (0) 馆藏

  7. 西文图书7.Inductive logic programming : 11th international conference, ILP 2001, Strasbourg, France, September TP311.1-53/ILP

    馆藏复本：1
    可借复本：1     Céline Rouveirol, Michèle Sebag (eds.).
    Springer, c2001.
    (0) 馆藏

  8. 西文图书8.Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2 TP311-53/LPA

    馆藏复本：1
    可借复本：1     Robert Nieuwenhuis, Andrei Voronkov (eds.).
    Springer, c2001.
    (0) 馆藏

  9. 西文图书9.Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, TP311.1-53/FIS

    馆藏复本：1
    可借复本：1     Herbert Kuchen, Kazunori Ueda (eds.).
    Springer, c2001.
    (0) 馆藏

  10. 西文图书10.Logic in computer science : modelling and reasoning about systems = 面向计算机科学的数理逻辑 : 系统 TP302/HM/(2)

    馆藏复本：2
    可借复本：2     Michael Huth, Mark Ryan.
    China Machine Press, 2005.
    (0) 馆藏

  11. 西文图书11.Foundations of logic programming / TP31/LJW

    馆藏复本：2
    可借复本：2     J.W. Lloyd.
    Springer-Verlag, 1984.
    (0) 馆藏

  12. 西文图书12.Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, TP311-53/IWL

    馆藏复本：1
    可借复本：1     Kung-Kiu Lau (ed.).
    Springer, c2001.
    (0) 馆藏

  13. 西文图书13.Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Aus TP311.1-53/LPN

    馆藏复本：1
    可借复本：1     Thomas Eiter, Wolfgang Faber, Miros?aw Truszczyński (eds.).
    Springer, c2001.
    (0) 馆藏

返回顶部