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.
Autres éditions populaires du même titre
Résultats de recherche pour Logic for Computer Scientists
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
Acheter D'occasion
EUR 5,31
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists
Edité par
Birkh�user, 1994
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Ancien ou d'occasion
Couverture rigide
Vendeur : Wonder Book, Frederick, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. N° de réf. du vendeur E11J-00742
Acheter D'occasion
EUR 5,32
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic for Computer Scientists (Progress in Computer Science and Applied Logic)
Edité par
Birkhäuser, 1994
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Ancien ou d'occasion
Couverture rigide
Vendeur : Bay State Book Company, North Smithfield, RI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : very_good. N° de réf. du vendeur BSM.VWTB
Acheter D'occasion
EUR 5,83
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists
Edité par
Birkh�user Boston, 1994
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
Acheter D'occasion
EUR 2,36
EUR 3,98 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
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, Mishawaka, IN, 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
Acheter D'occasion
EUR 6,40
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
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
Acheter D'occasion
EUR 6,40
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists
Edité par
Birkhäuser, 1994
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_415786052
Acheter D'occasion
EUR 4,37
EUR 3,18 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists (Progress in Computer Science and Applied Logic)
Edité par
Birkh�user, 1994
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
Acheter D'occasion
EUR 4,72
EUR 12,19 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Scientists (Progress in Computer Science and Applied Logic) (Volume 8)
Edité par
Birkhäuser Verlag, 1989
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 : Poor. Volume 8. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading 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 4332746
Acheter D'occasion
EUR 13,37
EUR 15,35 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
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
Acheter D'occasion
EUR 23,25
EUR 15,35 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)