Titre
Automated Reasoning and Its Applications: Essays in Honor of Larry Wos.
Auteur
Veroff, Robert (ed.)
ISBN
9780262220552
Éditeur
Cambridge, MA: The MIT Press, 1997. Hardcover. Dustjacket. 257 pp.- The primary objective of automated reasoning (which includes automated deduction and automated theorem proving) is to develop computer programs that use logical reasoning for the ...
Prix
€ 15,00
Détails
Conditie: als nieuw.
- Tous les livres sont en état complet et normal, sauf indication contraire. De petites imperfections comme une page collée ou un nom sur la feuille ne sont pas toujours mentionnés
- Vous gérez directement cette commande avec Kloof Antiquariaat
- Après votre commande vous et Kloof Antiquariaat recevrez une confirmation par e-mail. Dans l'e-mail que vous pouvez trouver, vous pouvez trouver le nom et l'adresse de Kloof Antiquariaat
- L'acheteur paie les frais de livraison, sauf accord contraire
- Kloof Antiquariaat peut demander un prépaiement
- Boekwinkeltjes.nl essaie de rapprocher les acheteurs et les vendeurs. Boekwinkeltjes.nl n'est jamais impliqué dans un accord entre l'acheteur et le vendeur. Si vous avez un différend avec un ou plusieurs utilisateurs, vous devez le réparer vous-même. Vous indemnisez Boekwinkeltjes.nl de toute réclamation.