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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Book by Apt Krzysztof
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 4,53 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiDa: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-B-020-01692
Quantità: 1 disponibili
Da: book-link, Nufringen, BW, Germania
textbook. Condizione: Sehr gut. 328 Seiten; M25-07-O-20-VG Sprache: Deutsch Gewicht in Gramm: 1. Codice articolo 35297
Quantità: 1 disponibili
Da: Biblios, Frankfurt am main, HESSE, Germania
Condizione: Used. pp. 280. Codice articolo 1847985020
Quantità: 1 disponibili
Da: Majestic Books, Hounslow, Regno Unito
Condizione: Used. pp. 280. Codice articolo 44797609
Quantità: 1 disponibili
Da: 3rd St. Books, Lees Summit, MO, U.S.A.
Soft cover. Condizione: Good. 1st Edition. Good, clean, tight condition with usual EX-LIBRARY features. Text free of marks. Professional book dealer since 1999. All orders are processed promptly and carefully packaged with tracking. Codice articolo 067401
Quantità: 1 disponibili
Da: Mispah books, Redhill, SURRE, Regno Unito
Textbook Binding. Condizione: Like New. Like New. book. Codice articolo ERICA773013230368X5
Quantità: 1 disponibili