Foundations of logic programming

Main
Computers - Computer Science
Foundations of logic programming

Foundations of logic programming

J. W Lloyd

0 / 0

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

A good explanation of pure Prolog and their inference mechanisme. Elementary considerations of using negation in Prolog but a new look about continous processes. Dedicated to lecture notes for students and undergraduates.

Kateqoriyalar:

Computers - Computer Science

İl:

1984

Nəşriyyat:

Springer-Verlag

Dil:

english

Səhifələr:

57

ISBN 10:

0387132996

ISBN 13:

9780387132990

Seriyalar:

Symbolic computation. Artificial intelligence

Fayl:

PDF, 8.03 MB

IPFS:

,

english, 1984

Onlayn oxumaq

formatına konvertasiya yerinə yetirilir

formatına konvertasiya baş tutmadı

Bəlkə Sizə maraqlıdır

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

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

G. Metakides and A. Nerode (Eds.) — Principles of Logic and Logic Programming

Krzysztof R. Apt — From Logic Programming to Prolog

Mordechai Ben-Ari — Mathematical Logic For Computer Science

Rene Lalement, John Plaice — Computation as logic

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

Frank Pfenning (ed.) — Types in Logic Programming

Pascal Van Hentenryck (eds.) — Logic programming : proceedings of the eleventh International Conference on 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

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

J. W Lloyd — Foundations of logic programming 2nd Edition (Symbolic computation)

G. Metakides, A. Nerode — Principles of Logic and Logic Programming

Ulf Nilsson, Jan Maluszynski — Logic, Programming and Prolog

Ulf Nilsson, Jan Mauszynski — Logic, programming and prolog

D. A. Wolfram — The Clausal Theory of Types

David Maier, David S. Warren — Computing With Logic: Logic Programming With Prolog

Uwe Schöning — Logic for computer scientists

Uwe Schöning — Logic for Computer Scientists

R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur (auth.), Krysia Broda BSc, MSc, PhD (eds.) — ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992

Mordechai Ben-Ari — Mathematical Logic for Computer Science

John W. Lloyd — Foundations of Logic Programming (Symbolic Computation)

Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.) — Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

H. -J. Bürckert (eds.) — A Resolution Principle for a Logic with Restricted Quantifiers

Luís Moniz Pereira, Luis Caires, José Alferes (auth.), E. Lamma, P. Mello (eds.) — Extensions of Logic Programming: Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings

Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.) — Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Stål Aanderaa (auth.), E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter (eds.) — Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

Roy Dyckhoff, (ed.) — Extensions of Logic Programming: 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings

Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.) — Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

John Wylie Lloyd (auth.) — Foundations of Logic Programming

John Wylie Lloyd (auth.) — Foundations of logic programming

Açar ifadələr