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 35,90
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 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 4 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
Frais de port :
EUR 48,99
De 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
Frais de port :
EUR 60
De 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
Frais de port :
EUR 60,63
De 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: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. N° de réf. du vendeur 104156576
Acheter neuf
EUR 36,30
Frais de port :
EUR 70
De Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)