Well-Quasi Orders in Computation, Logic, Language and Reasoning -

Format: Broché

Voir le descriptif

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Neuf (2)

Occasion

Reconditionné

206,97 €

Produit Neuf

Ou 51,74 € /mois

Livraison à 0,01 €
Livré entre le 6 et le 13 mai

Voir les modes de livraison

RiaChristie

PRO Vendeur favori

4,9/5 sur + de 1 000 ventes

Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030302313_dbm

Nos autres offres

315,99 €

Produit Neuf

Ou 79,00 € /mois

En savoir plus
- Livraison : 25,00 €
- Livré entre le 20 et le 26 mai
Voir les modes de livraison
Kelindo

PRO

4,8/5 sur + de 1 000 ventes

Contacter le vendeur
Afficher la description de l'annonce
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Well - Quasi Orders In Computation, Logic, Language And Reasoning de Format Broché - Livre Philosophie

Note : 0 0 avis sur Well - Quasi Orders In Computation, Logic, Language And Reasoning de Format Broché - Livre Philosophie

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Well - Quasi Orders In Computation, Logic, Language And Reasoning de Format Broché
- Livre Philosophie

Livre Philosophie - 01/08/2021 - Broché - Langue : Anglais

Editeur : Springer International Publishing Ag

Langue : Anglais

Parution : 01/08/2021

Format : Moyen, de 350g à 1kg

Nombre de pages : 404

Expédition : 610

Dimensions : 23.5 x 15.5 x 2.2

ISBN : 9783030302313

Résumé :
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and subrecursive hierarchies. As a unifying concept for slick finiteness or termination proofs, wqos have been rediscovered in diverse contexts, and proven to be extremely useful in computer science. The book introduces readers to the many facets of, and recent developments in, wqos through chapters contributed by scholars from various fields. As such, it offers a valuable asset for logicians, mathematicians and computer scientists, as well as scholars and students.

Biographie:

Peter Schuster is an Associate Professor of Mathematical Logic at the University of Verona. After completing both his doctorate and habilitation in mathematics at the University of Munich, he was a Lecturer at the University of Leeds and member of the Leeds Logic Group. Apart from constructive mathematics in general, his principal research interests are in the computational content of classical proofs in abstract algebra and related fields, in which maximum or minimum principles are invoked.

Monika Seisenberger is an Associate Professor of Computer Science at Swansea University. After completing a PhD in the Graduate Programme Logic in Computer Science at the LMU Munich she took up a position as research assistant at Swansea University, where she was subsequently appointed lecturer and later programme director. Her research focuses on logic, and on theorem proving and verification.

Andreas Weiermann is a FullProfessor of Mathematics at Ghent University. After completing both his doctorate and habilitation in mathematics at the University of M?nster, he held postdoctoral positions in M?nster and Utrecht and became first an Associate Professor and later Full Professor in Ghent. His research interests include proof theory, theoretical computer science and discrete mathematics.

Sommaire:

Introduces readers to a highly active branch of combinatorics

Unifies interdisciplinary areas between logic, mathematics and computer science

Highlights relevant work by top scholars from various fields

...

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Well-Quasi Orders in Computation, Logic, Language and Reasoning -

Avis sur Well - Quasi Orders In Computation, Logic, Language And Reasoning de Format Broché - Livre Philosophie

Présentation Well - Quasi Orders In Computation, Logic, Language And Reasoning de Format Broché - Livre Philosophie

Présentation Well - Quasi Orders In Computation, Logic, Language And Reasoning de Format Broché
- Livre Philosophie