Synopsis
Dans la théorie de la preuve, trouver des lemmes pour une preuve donnée est d'un profond intérêt. La possibilité de les calculer algorithmiquement, même pour de grandes preuves, est un objectif défini dans ce domaine de recherche. Ce livre décrit une approche pour introduire des coupes quantifiées dans les preuves dans le calcul séquent en faisant bon usage des connaissances de la théorie du langage formel. La méthode décrite est même capable d'introduire éventuellement plusieurs lemmes à la fois dans une preuve.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Algorithms for Quantified Cut-Introduction
Image fournie par le vendeur
Algorithms for Quantified Cut-Introduction
Edité par
AV Akademikerverlag Okt 2015, 2015
ISBN 10 : 363985229X
ISBN 13 : 9783639852295
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In proof theory finding lemmas for a given proof is of deep interest. The possibility of algorithmically computing them, even for large proofs, is a defined goal in this research area. This book describes an approach for introducing quantified cuts into proofs in sequent calculus by making good use of knowledge from formal language theory. The described method is even capable of possibly introducing several lemmas at once into a proof. 72 pp. Englisch. N° de réf. du vendeur 9783639852295
Acheter neuf
EUR 39,90
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Algorithms for Quantified Cut-Introduction
Edité par
AV Akademikerverlag, 2015
ISBN 10 : 363985229X
ISBN 13 : 9783639852295
Neuf
Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26405873534
Acheter neuf
EUR 63,70
Expédition à EUR 3,41
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Algorithms for Quantified Cut-Introduction
Edité par
AV Akademikerverlag, 2015
ISBN 10 : 363985229X
ISBN 13 : 9783639852295
Neuf
Couverture souple
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 407280801
Acheter neuf
EUR 62,19
Expédition à EUR 7,50
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Algorithms for Quantified Cut-Introduction
Edité par
AV Akademikerverlag, 2015
ISBN 10 : 363985229X
ISBN 13 : 9783639852295
Neuf
Couverture souple
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18405873524
Acheter neuf
EUR 64,01
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Algorithms for Quantified Cut-Introduction
Edité par
AV Akademikerverlag, 2015
ISBN 10 : 363985229X
ISBN 13 : 9783639852295
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Spoerk ChristophChristoph Spoerk (born in Vienna 1988) studied Computer Science at the Vienna University of Technology. He wrote his bachelor thesis about a heuristic solution for the Delay Constrained Steiner Tree Problem (2011) and f. N° de réf. du vendeur 151404507
Acheter neuf
EUR 32,78
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Algorithms for Quantified Cut-Introduction
Edité par
AV Akademikerverlag Okt 2015, 2015
ISBN 10 : 363985229X
ISBN 13 : 9783639852295
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -In proof theory finding lemmas for a given proof is of deep interest. The possibility of algorithmically computing them, even for large proofs, is a defined goal in this research area. This book describes an approach for introducing quantified cuts into proofs in sequent calculus by making good use of knowledge from formal language theory. The described method is even capable of possibly introducing several lemmas at once into a proof.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 72 pp. Englisch. N° de réf. du vendeur 9783639852295
Acheter neuf
EUR 39,90
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Algorithms for Quantified Cut-Introduction : Introducing quantified cuts in sequent calculus
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - In proof theory finding lemmas for a given proof is of deep interest. The possibility of algorithmically computing them, even for large proofs, is a defined goal in this research area. This book describes an approach for introducing quantified cuts into proofs in sequent calculus by making good use of knowledge from formal language theory. The described method is even capable of possibly introducing several lemmas at once into a proof. N° de réf. du vendeur 9783639852295
Acheter neuf
EUR 39,90
Expédition à EUR 60,63
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Algorithms for Quantified Cut-Introduction | Introducing quantified cuts in sequent calculus
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Algorithms for Quantified Cut-Introduction | Introducing quantified cuts in sequent calculus | Christoph Spörk | Taschenbuch | 72 S. | Englisch | 2015 | AV Akademikerverlag | EAN 9783639852295 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. N° de réf. du vendeur 104156576
Acheter neuf
EUR 36,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)