Logic programming: proceedings 5th international...

Main
Computers - Computer Science
Logic programming: proceedings 5th...

Logic programming: proceedings 5th international conference, vol.1

Kowalski R.A., Bowen K.A. (eds.)

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

Paperback book

种类:

Computers - Computer Science

年:

1988

出版社:

MIT Press (MA)

语言:

english

页:

880

ISBN 10:

0262610566

ISBN 13:

9780262610568

系列:

Mit Press Series in Logic Programming

文件:

DJVU, 9.45 MB

IPFS:

,

english, 1988

下载 (djvu, 9.45 MB)

正在转换

转换为失败

您可能会感兴趣

Ulf Nilsson and Jan Maluszyński — LOGIC, PROGRAMMING AND PROLOG (2ED)

Michael Leuschel (auth.), Maurizio Proietti (eds.) — Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Nilsson U., Maluszynski J. — Logic, Programming and Prolog

Taernlund S.-A. (ed.) — Logic programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990: Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991: proceedings

— The Art of Prolog

Vijay A. Saraswat, Kazunori Ueda (ed.) — Logic programming: proceedings of the 1991 international symposium

K. L. Clark, S-A. Tarnlund, (eds.) — Logic programming

Maurice Bruynooghe (ed.) — Logic programming: Proceedings of the 1994 Internationa Symposium

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) — Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 5: Logic Programming

Dale Miller (ed.) — Logic Programming: Proceedings of the 1993 International Symposium October 26-29, 1993, Vancouver, British Columbia

Jean-Louis Lassez (ed.) — Logic programming: proceedings 4th international conference, vol.1

Jean-Louis Lassez (ed.) — Logic programming: proceedings 4th international conference, vol.2

Leon Sterling, Ehud Shapiro — The Art of Prolog, Second Edition: Advanced Programming Techniques

Pascal Van Hentenryck (eds.) — Logic programming : proceedings of the eleventh International Conference on Logic Programming

Lee Naish — Logic programming : proceedings of the Fourteenth International Conference on Logic Programming

Harvey Abramson, M H. Rogers (ed.) — Meta-programming in logic programming

Krzysztof Apt (ed.) — Logic Programming: The Joint [9th] International Conference & Symposium

Saumya Debray, Manuel Hermenegildo (ed.) — Logic programming: proceedings of the 1990 North American conference

Danny De Schreye — Logic Programming: The 1999 International Conference

Koichi Furukawa (ed.) — Logic programming: proceedings of the 8 international conference

Robert A. Kowalski, Kenneth A. Bowen (ed.) — Logic programming: proceedings 5th international conference, vol.2

Ewing L. Lusk, Ross A. Overbeek, (eds.) — Logic programming: proc. North American conference 1989, vol.1

Giorgio Levi, Maurizio Martelli (ed.) — Logic programming: proceedings of the 6 international conference

Michael Maher (ed.) — Logic Programming: The 1996 International Symposium: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Lee Naish, (ed.) — Logic Programming: The 14th International Conference

Leon Sterling; Ehud Shapiro — The Art of Prolog: Advanced Programming Techniques

Leon S. Sterling — Logic Programming: The 12th International Conference

David H. D. Warren, Peter Szeredi (ed.) — Logic Programming: Proceedings of the The 7th International Conference

David S. Warren — Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary

Campbell J.A. (ed.) — Implementations of PROLOG

Ulf Nilsson, Jan Maluszynski — Logic, Programming and Prolog

Ulf Nilsson, Jan Mauszynski — Logic, programming and prolog

Symposium on Logic Programming (ed.) — Proceedings 1987 Symposium on Logic Programming

D.R.Brough (ed.) — Logic Programming: New Frontiers

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.) — Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

关键词