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 Bounded Arithmetic, Propositional Logic And Complexity Theory Format Relié - Livre

Note : 0 0 avis sur Bounded Arithmetic, Propositional Logic And Complexity Theory Format Relié - Livre

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

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.

Présentation Bounded Arithmetic, Propositional Logic And Complexity Theory Format Relié
- Livre

Livre - Krajicek, Jan - 01/04/2004 - Relié - Langue : Anglais

Auteur(s) : Krajicek, Jan

Editeur : Cambridge University Press

Langue : Anglais

Parution : 01/04/2004

Format : Moyen, de 350g à 1kg

Nombre de pages : 360

Expédition : 737

Dimensions : 23.5 x 15.7 x 2.6

ISBN : 0521452058

Sommaire:
1. Introduction; 2. Preliminaries; 3. Basic complexity theory; 4. Basic propositional logic; 5. Basic bounded arithmetic; 6. Definability of computations; 7. Witnessing theorems; 8. Definability and witnessing in second order theories; 9. Translations of arithmetic formulas; 10. Finite axiomatizability problem; 11. Direct independence proofs; 12. Bounds for constant-depth Frege systems; 13. Bounds for Frege and extended Frege systems; 14. Hard tautologies and optimal proof systems; 15. Strength of bounded arithmetic; References; Index.

Détails de conformité du produit

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

Personne responsable dans l'UE

)

Bounded Arithmetic, Propositional Logic and Complexity Theory - Krajicek, Jan

Avis sur Bounded Arithmetic, Propositional Logic And Complexity Theory Format Relié - Livre

Présentation Bounded Arithmetic, Propositional Logic And Complexity Theory Format Relié - Livre

Présentation Bounded Arithmetic, Propositional Logic And Complexity Theory Format Relié
- Livre