9780262041423 - from logic to logic programming di doets, kees (3 risultati)
- Rilegato
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 11,13
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Brossura
Da: Kloof Booksellers & Scientia Verlag, Amsterdam, Paesi BassiKloof Booksellers & Scientia Verlag
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 55,95
EUR 30,00 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Condizione: as new. Cambridge, Mass. : MIT Press, 1994. Hardcover. 228 pp. - This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the meth…od. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming. Advanced topics such as recursive complexity and negation as failure and its semantics are covered, and streamlined setups for SLD- and SLDNF-resolution are described.No other book treats this material in such detail and with such sophistication. Doets provides a novel approach to resolution that is applied to the first-order case and the case of (positive) logic programs. In contrast to the usual approach, the concept of a resolvent is defined nonconstructively, without recourse to the concept of unification, allowing the soundness and completeness proofs to be carried out in a more economic way. Other new material includes computability results dealing with analytical hierarchy, results on infinite derivations and an exposition on general logic programs using 3-valued logic. Condition : as new copy. ISBN 9780262041423. Keywords : COMPUTER STUDIES, Logic programming.
- Rilegato
Da: book-link, Nufringen, BW, Germaniabook-link
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 199,00
EUR 49,90 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Sehr gut. 228 Seiten; *** Top Zustand! M25-07-P-24-VG Sprache: Deutsch Gewicht in Gramm: 1.
