Algebras, diagrams and decisions
In langage, Logic and computation
176 pages, parution le 04/11/2002
Résumé
This exemplary volume shows how the shared interests of three different research areas can lead to significant and fruitful exchanges: each of six papers very accessibly presents an exciting contribution to the study and uses of algebra, diagrams, and decisions, ranging from indipensable overview papers about shared formal members to inspiring applications of formal tools to specific problems.
Contents- 1 Syntactic Invariants
- 2 The Plurality of Plurals
- 3 Decision Problems in the Calculus of Relations
- 4 Unified Semantics for Modality and [lambda]-terms via Proof Polynomials
- 5 Patching Up a Logic of Venn Diagrams
- 6 Learning Shallow Context-Free Languages Under Simple Distributions
- Index
L'auteur - Kees Vermeulen
Researcher at CWI
L'auteur - Ann Copestake
Lecturer in the University of Cambridge Computer Laboratory
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | CSLI |
| Auteur(s) | Kees Vermeulen, Ann Copestake |
| Parution | 04/11/2002 |
| Nb. de pages | 176 |
| Format | 15 x 23 |
| Couverture | Broché |
| Poids | 260g |
| Intérieur | Noir et Blanc |
| EAN13 | 9781575863726 |
| ISBN13 | 978-1-57586-372-6 |
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
- Sciences Mathématiques Mathématiques par matières Algèbre
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
