Computational logic
Collection NATO ASI series F: computer and systems
460 pages, parution le 30/07/1998
Résumé
An introduction to the interplay of mathematical logic and
computer science. It contains reworked versions of the
lectures given at the 1997 Marktoberdorf Summer School by
researchers in the field. Topics covered include: proof
theory and specification of computation; complexity of
proofs and programs; computational content of proofs;
constructive type theory; computational mathematics;
rewriting logic; and game semantics.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Collection | NATO ASI series F: computer and systems |
| Parution | 30/07/1998 |
| Nb. de pages | 460 |
| EAN13 | 9783540645894 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
