English تسجيل الدخول قائمتي - 0 مساعدة
	الفهرس   قواعد البيانات   حسابي

البسيط تاريخ البحث الهجائي كلمات مفتاحية المتقدم

---

21. From standard logic to logic programming : introducing a logic based approach to artificial intelligence / editor, AndrDe Thayse ; authors, Paul Gochet ... [et al.] with the collaboration of Philippe Delsarte. تأليف Thayse, AndrDe, 1940-, Gochet, Paul. Wiley, c1988.       22. The logic of programming / Eric C.R. Hehner. تأليف Hehner, Eric C. R. Prentice/Hall International, c1984.       23. Introduction to logic programming / Christopher John Hogger. تأليف Hogger, Christopher John. Academic Press, 1984.       24. Foundations of logic programming / J.W. Lloyd. تأليف Lloyd, J. W. (John Wylie), , 1947- Springer-Verlag, c1987.       25. Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 / Eiiti Wada, ed. تأليف Wada, Eiiti, 1931-, Shin Sedai Konpyuta Gijutsu Kaihatsu Kiko (Japan), Logic Programming Conference 1986 : Tokyo, Japan) Springer-Verlag, c1987.       26. Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / K. Furukawa, H. Tanaka, T. Fujisaki, eds. تأليف Furukawa, Koichi., Tanaka, H. (Hozumi), Fujisaki, T. (Tetsunosuke), Logic Programming Conference 1987 : Toyko, Japan) Springer-Verlag, c1988.       27. Mathematical logic and programming languages / edited by C.A.R. Hoare and J.C. Shepherdson. تأليف Hoare, C. A. R. (Charles Antony Richard), 1934-, Shepherdson, J. C. Prentice/Hall International, c1985.       28. Computing in Horn clause theories / Peter Padawitz. تأليف Padawitz, Peter, , 1953- Springer-Verlag, c1988.       29. Programming language implementation and logic programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 1994 :prceedings / Manuel Hermenegildo, Jaan Penjam (Eds.) Springer-Verlag, c1994.       30. ALPUK 91 : proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 / Geraint A. Wiggins, Chris Mellish, and Tim Duncan (eds.). تأليف UK Annual Conference on Logic Programming 1991 : Edinburgh, Scotland), Wiggins, Geraint A., 1962-, Mellish, C. S. (Christopher S.), 1954-, Duncan, Tim (Timothy), 1956-, British Computer Society. Springer-Verlag, c1992.

سابق

1

2

3

4

5

6

7

8

9

10

تالي

>>

Horizon Information Portal 3.0

© 2001-2004 Dynix جميع الحقوق محفوظة.