From logic programming to Prolog; Krzysztof R. Apt; 1997
Begagnad
From logic programming to Prolog; Krzysztof R. Apt; 1997
Begagnad

From logic programming to Prolog

av Krzysztof R. Apt

  • Utgiven: 1997
  • ISBN: 9780132303682
  • Sidor: 328 st
  • Förlag: Prentice Hall
  • Format: Bok
  • Språk: Engelska

Om boken

Provides a systematic introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. The text includes an introduction to programming in Prolog and deals with such programming issues as determination, occur-check freedom and absence of errors. It covers both the natural interpretations of logic programming, as declarative specification and as procedure for computer execution.

Åtkomstkoder och digitalt tilläggsmaterial garanteras inte med begagnade böcker

Mer om From logic programming to Prolog (1997)

1997 släpptes boken From logic programming to Prolog skriven av Krzysztof R. Apt. Den är skriven på engelska och består av 328 sidor. Förlaget bakom boken är Prentice Hall som har sitt säte i Upper saddle river.

Köp boken From logic programming to Prolog på Studentapan och spara pengar.

Tillhör kategorierna

ÖvrigtÖvrigt

Referera till From logic programming to Prolog

Harvard

Apt, K. R. (1997). From logic programming to Prolog. Prentice Hall.

Oxford

Apt, Krzysztof R., From logic programming to Prolog (Prentice Hall, 1997).

APA

Apt, K. R. (1997). From logic programming to Prolog. Prentice Hall.

Vancouver

Apt KR. From logic programming to Prolog. Prentice Hall; 1997.

Köp boken