Articles liés à Logic for Computer Scientists
Synopsis
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 64,48
Gratuit expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Logic for Computer Scientists
Image d'archives
Logic for Computer Scientists
Edité par
BirkhÀuser Boston, 2008
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1. N° de réf. du vendeur G0817634533I4N00
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists
Edité par
Springer, 1994
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books: West, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 11444496-6
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists
Edité par
Birkhï¿œuser Boston, 2008
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Ancien ou d'occasion
Couverture rigide
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur Z1-B-017-02107
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists
Edité par
Birkhauser Boston Inc, 1994
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Ancien ou d'occasion
Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:0817634533. N° de réf. du vendeur 4122284
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists
Edité par
Birkhäuser Boston, 2008
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Ancien ou d'occasion
Couverture rigide
Vendeur : SecondSale, Montgomery, IL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de réf. du vendeur 00070728867
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists
Edité par
Birkhï¿œuser Boston, 2008
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Ancien ou d'occasion
Couverture rigide
Vendeur : The Maryland Book Bank, Baltimore, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Very Good. First Edition, 2nd Printing. Used - Very Good. N° de réf. du vendeur 10-C-1-0240
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists
Edité par
Birkhäuser Boston, 2008
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Neuf
Couverture rigide
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-87810
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists
Edité par
Birkhäuser Boston, 2008
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Neuf
Couverture rigide
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-129665
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists
Edité par
Birkhäuser, 2008
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Ancien ou d'occasion
Couverture rigide
Vendeur : Your Online Bookstore, Houston, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Good. N° de réf. du vendeur 0817634533-3-32388970
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 172 1st Edition. N° de réf. du vendeur 26457800
Quantité disponible : 1 disponible(s)