Articles liés à Labelled Deduction

Labelled Deduction ISBN 13 : 9780792362371

Labelled Deduction - Couverture rigide

 
9780792362371: Labelled Deduction

Synopsis

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.
Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Luca Viganò is an assistant professor at the Institute for Computer Science of the University of Freiburg (Germany). His research focuses on the theory and applications of non-classical logics, of proof development systems, of logical frameworks, and of logics for security.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

état :  Comme neuf
Like New
Afficher cet article
EUR 166,65

Autre devise

EUR 29,52 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 42,57

Autre devise

EUR 10,63 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9789401057813: Labelled Deduction

Edition présentée

ISBN 10 :  9401057818 ISBN 13 :  9789401057813
Editeur : Springer, 2012
Couverture souple

Résultats de recherche pour Labelled Deduction

Image d'archives

David Basin (Editor), Marcello D'Agostino (Editor), Dov M. Gabbay (Editor), Sean Matthews (Editor), Luca Vigano (Editor)
Edité par Kluwer Academic Publishers, 2000
ISBN 10 : 0792362373 ISBN 13 : 9780792362371
Neuf Couverture rigide

Vendeur : New Book Sale, London, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service. N° de réf. du vendeur 0792362373--26

Contacter le vendeur

Acheter neuf

EUR 42,57
Autre devise
Frais de port : EUR 10,63
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Basin, David|D\'Agostino, Marcello|Gabbay, Dov M.
Edité par Springer Netherlands, 2000
ISBN 10 : 0792362373 ISBN 13 : 9780792362371
Neuf Couverture rigide

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Gebunden. Etat : New. N° de réf. du vendeur 5969264

Contacter le vendeur

Acheter neuf

EUR 92,27
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

David Basin
ISBN 10 : 0792362373 ISBN 13 : 9780792362371
Neuf Buch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources. 284 pp. Englisch. N° de réf. du vendeur 9780792362371

Contacter le vendeur

Acheter neuf

EUR 106,99
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

David Basin
ISBN 10 : 0792362373 ISBN 13 : 9780792362371
Neuf Buch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. Neuware -Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch. N° de réf. du vendeur 9780792362371

Contacter le vendeur

Acheter neuf

EUR 106,99
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Sean Matthews; Luca Vigano
Edité par Springer, 2000
ISBN 10 : 0792362373 ISBN 13 : 9780792362371
Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9780792362371_new

Contacter le vendeur

Acheter neuf

EUR 118,75
Autre devise
Frais de port : EUR 4,71
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

David Basin
ISBN 10 : 0792362373 ISBN 13 : 9780792362371
Neuf Couverture rigide

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources. N° de réf. du vendeur 9780792362371

Contacter le vendeur

Acheter neuf

EUR 114,36
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

David Basin
Edité par Springer, 2000
ISBN 10 : 0792362373 ISBN 13 : 9780792362371
Neuf Couverture rigide
impression à la demande

Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 606. N° de réf. du vendeur C9780792362371

Contacter le vendeur

Acheter neuf

EUR 137,99
Autre devise
Frais de port : EUR 7,84
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Dov M. Gabbay Marcello D'Agostino
Edité par Springer, 2000
ISBN 10 : 0792362373 ISBN 13 : 9780792362371
Neuf Couverture rigide

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 284. N° de réf. du vendeur 263058101

Contacter le vendeur

Acheter neuf

EUR 153,55
Autre devise
Frais de port : EUR 7,87
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Gabbay Dov M. D'Agostino Marcello
Edité par Springer, 2000
ISBN 10 : 0792362373 ISBN 13 : 9780792362371
Neuf Couverture rigide
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Print on Demand pp. 284 Illus. N° de réf. du vendeur 5838442

Contacter le vendeur

Acheter neuf

EUR 156,87
Autre devise
Frais de port : EUR 10,45
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Gabbay Dov M. D'Agostino Marcello Basin David
Edité par Springer, 2000
ISBN 10 : 0792362373 ISBN 13 : 9780792362371
Neuf Couverture rigide
impression à la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. PRINT ON DEMAND pp. 284. N° de réf. du vendeur 183058111

Contacter le vendeur

Acheter neuf

EUR 162,08
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

There are 2 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre