Principles of Logic and Logic Programming, Volume 13 (Studies in Computer Science and Artificial Intelligence)
5 Angebote vergleichen

Bester Preis: 23,09 (vom 15.10.2016)
1
9780444816443 - Metakides, G.; Nerode, A.: Principles of Logic and Logic Programming
Metakides, G.; Nerode, A.

Principles of Logic and Logic Programming

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN NW EB

ISBN: 9780444816443 bzw. 0444816445, in Englisch, Elsevier Science, neu, E-Book.

204,95 ($ 225,00)¹
versandkostenfrei, unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, E-Book zum download.
Computers, Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson and later by Kowalski and Colmerauer who made use of Logic directly as a Logic Programming language. Each chapter includes solved as well as unsolved exercises provided to help the reader assimilate the corresponding topics. The solved exercises demonstrate how to work methodically, whereas the unsolved exercises aim to stimulate the reader's personal initiative. The contents of the book are self-contained; only an elementary knowledge of analysis is required. Thus, it can be used by students in every academic year, as simply reading material, or in the context of a course. It can also be used by those who utilize Logic Programming without having any particular theoretical background knowledge of Logic, or by those simply interested in Logic and its applications in Logic Programming. eBook.
2
9780444816443 - Metakides, G., Nerode, A: Principles of Logic and Logic Programming, Volume 13 (Studies in Computer Science and Artificial Intelligence)
Symbolbild
Metakides, G., Nerode, A

Principles of Logic and Logic Programming, Volume 13 (Studies in Computer Science and Artificial Intelligence)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN US

ISBN: 9780444816443 bzw. 0444816445, Band: 13, in Englisch, North Holland, gebraucht.

23,55 ($ 25,85)¹
versandkostenfrei, unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei nach: USA.
Von Händler/Antiquariat, Better World Books.
North Holland. Used - Acceptable. Former Library book. Shows definite wear, and perhaps considerable marking on inside. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!
3
9780444816443 - Metakides, G., Nerode, A.: Principles of Logic and Logic Programming, Volume 13 (Studies in Computer Science and Artificial Intelligence)
Symbolbild
Metakides, G., Nerode, A.

Principles of Logic and Logic Programming, Volume 13 (Studies in Computer Science and Artificial Intelligence) (1996)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN US

ISBN: 9780444816443 bzw. 0444816445, Band: 13, in Englisch, North Holland, gebraucht.

23,09 ($ 25,35)¹
versandkostenfrei, unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
Von Händler/Antiquariat, Better World Books [51315977], Mishawaka, IN, U.S.A.
Former Library book. Shows definite wear, and perhaps considerable marking on inside.
4
9780444816443 - Anil Nerode: Principles of Logic and Logic Programming
Anil Nerode

Principles of Logic and Logic Programming

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN HC NW

ISBN: 9780444816443 bzw. 0444816445, in Englisch, Elsevier Science & Technology Books, gebundenes Buch, neu.

161,23 ($ 177,00)¹
versandkostenfrei, unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd.
Principles-of-Logic-and-Logic-Programming~~Anil-Nerode, Principles of Logic and Logic Programming, Hardcover.
5
9780444816443 - Metakides, G., Nerode, A.: Principles of Logic and Logic Programming, Volume 13 (Studies in Computer Science and Artificial Intelligence)
Symbolbild
Metakides, G., Nerode, A.

Principles of Logic and Logic Programming, Volume 13 (Studies in Computer Science and Artificial Intelligence) (1996)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN HC US

ISBN: 9780444816443 bzw. 0444816445, Band: 13, in Englisch, North-Holland, gebundenes Buch, gebraucht.

28,61
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, Better World Books, IN, Mishawaka, [RE:4].
Hard cover.
Lade…