An introduction to logic programming through Prolog

Main
Computers - Hardware
An introduction to logic programming...

An introduction to logic programming through Prolog

Michael Spivey

0 / 0

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

Kategoriler:

Computers - Hardware

Yıl:

1996

Dil:

english

Dosya:

PDF, 1.36 MB

IPFS:

,

english, 1996

İndir (pdf, 1.36 MB)

'e dönüştürme devam ediyor

dosyasına dönüştürme başarısız oldu

İlginizi çekebilir

L. Wos (auth.), D. W. Loveland (eds.) — 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

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

L. Wos (auth.), D. W. Loveland (eds.) — 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

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

Spivey J.M. — An Introduction to Logic Programming Through Prolog

Yves Deville — Logic Programming: Systematic Program Development (International Series in Logic Programming)

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

Frank Pfenning (ed.) — Types in Logic Programming

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

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

Kowalski R.A., Bowen K.A. (eds.) — Logic programming: proceedings 5th international conference, vol.1

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

Christoph Walther — A Many-Sorted Calculus Based on Resolution and Paramodulation

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

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

Ulf Nilsson, Jan Maluszynski — Logic, Programming and Prolog

Peter Flach — Simply Logical: Intelligent Reasoning by Example

Ulf Nilsson, Jan Mauszynski — Logic, programming and prolog

D. A. Wolfram — The Clausal Theory of Types

Bibel W., Schmitt P.H. (eds.) — Automated deduction - a basis for applications, vol.1: Foundations - calculi and methods

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

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

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

Robert Trappt (auth.), Claus-Rainer Rollinger, Werner Horn (eds.) — GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung: Ottenstein/Niederösterreich, September 22–26, 1986

Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.) — 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.) — Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.) — Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

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

Anahtar ifadeler