Articles liés à Logic for Computer Scientists
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Book by Schning Uwe
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.
- ÉditeurBirkhauser Boston Inc
- Date d'édition1994
- ISBN 10 0817634533
- ISBN 13 9780817634537
- ReliureRelié
- Numéro d'édition2
- Nombre de pages177
- Evaluation vendeur
Acheter neuf
En savoir plus sur cette édition
EUR 69,22
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Logic for Computer Scientists
Edité par
Birkhäuser
(2008)
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre 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 ABEOCT23-97603
Acheter neuf
EUR 69,22
Autre devise
Image d'archives
Logic for Computer Scientists
Edité par
Birkhäuser
(2008)
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. N° de réf. du vendeur ABTR-222016
Acheter neuf
EUR 69,22
Autre devise
Image d'archives
Logic for Computer Scientists
Edité par
Birkhäuser
(2008)
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. N° de réf. du vendeur ABRR-222016
Acheter neuf
EUR 71,65
Autre devise
Image d'archives
Logic for Computer Scientists
Edité par
Springer
(2008)
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. pp. 172 1st Edition. N° de réf. du vendeur 26457800
Acheter neuf
EUR 82,75
Autre devise
Image d'archives
Logic for Computer Scientists
Edité par
Springer
(2008)
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. pp. 172. N° de réf. du vendeur 7422871
Acheter neuf
EUR 89,65
Autre devise
Image d'archives
LOGIC FOR COMPUTER SCIENTISTS
Edité par
Birkhäuser
(2008)
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. New. In shrink wrap. Looks like an interesting title! 0.95. N° de réf. du vendeur Q-0817634533
Acheter neuf
EUR 125,44
Autre devise
Image d'archives
Logic for Computer Scientists
Edité par
Birkhäuser
(1994)
ISBN 10 : 0817634533
ISBN 13 : 9780817634537
Neuf
Couverture rigide
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Hardcover. Etat : New. Brand New!. N° de réf. du vendeur VIB0817634533
Acheter neuf
EUR 131,69
Autre devise