检索条件: Logic programming : ( 题名 )
责任者 Evan Tick
出版信息 MIT Press ,1991
ISBN
扫二维码,手机查看
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
Parallel logic programming
Evan Tick.MIT Press,1991.
责任者 S. Ceri,G. Gottlob,L. Tanca
出版信息 Springer-Verlag ,1990
Logic programming and databases
S. Ceri,G. Gottlob,L. Tanca.Springer-Verlag,1990.
责任者 Stephen Taylor
出版信息 Prentice Hall ,1989
ISBN 0-13-648767-X
Parallel logic programming techniques
Stephen Taylor.Prentice Hall,1989.
责任者 J. W. Lioyd
出版信息 Springer ,1984
Foundations of logic programming
J. W. Lioyd.Springer,1984.
责任者 Y. Deville
出版信息 Addison Wesley ,1990
Logic programming : systematic program development
Y. Deville.Addison Wesley,1990.
责任者 Pascal Van Hentenryck
出版信息 MIT Pr. ,1989
Constraint satisfaction in logic programming
Pascal Van Hentenryck.MIT Pr.,1989.
责任者 Harvey Abramson,M. H. Rogers
ISBN 0-262-51047-2
Meta-programming in logic programming
Harvey Abramson,M. H. Rogers.MIT Pr.,1989.
责任者 T. Amble
出版信息 AddisonWesley ,1987
Logic programming and knowledge engineering
T. Amble.AddisonWesley,1987.
责任者 M. V. Caneghem
出版信息 Ablex Pub. ,1986
Logic programming and its applications
M. V. Caneghem.Ablex Pub.,1986.
责任者 Symposium on Logic programming
出版信息 IEEE ,1987
Symposium on Logic Programming(1987 : California):proceedings
Symposium on Logic programming.IEEE,1987.
通借图书
加入成功
您可到个人图书馆查看或取消预约
预约图书
您可在“我的图书馆→我的预约”菜单里查看预约记录
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您