Articoli correlati a Labelled Deduction: 17
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreKluwer Academic Pub
- Data di pubblicazione2000
- ISBN 10 0792362373
- ISBN 13 9780792362371
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine266
- RedattoreBasin David, D'Agostino Fred, Gabbay Dov M., Matthews Sean, Vigano Luca
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 42,78
EUR 10,68 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costi
Risultati della ricerca per Labelled Deduction: 17
Foto dell'editore
Labelled Deduction (Applied Logic)
Da: New Book Sale, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service. Codice articolo 0792362373--26
Quantità: 1 disponibili
Immagini fornite dal venditore
Labelled Deduction
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. Condizione: New. Codice articolo 5969264
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Labelled Deduction
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 9780792362371
Quantità: 2 disponibili
Immagini fornite dal venditore
Labelled Deduction
Editore:
Springer Netherlands, Springer Netherlands Apr 2000, 2000
ISBN 10: 0792362373
ISBN 13: 9780792362371
Nuovo
Buch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 9780792362371
Quantità: 2 disponibili
Immagini fornite dal venditore
Labelled Deduction
Editore:
Springer Netherlands, Springer Netherlands, 2000
ISBN 10: 0792362373
ISBN 13: 9780792362371
Nuovo
Rilegato
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: 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. Codice articolo 9780792362371
Quantità: 1 disponibili
Foto dell'editore
Labelled Deduction (APPLIED LOGIC SERIES Volume 17) (Applied Logic Series, 17)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780792362371_new
Quantità: Più di 20 disponibili
Foto dell'editore
Labelled Deduction
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 606. Codice articolo C9780792362371
Quantità: Più di 20 disponibili
Foto dell'editore
Labelled Deduction
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 284. Codice articolo 263058101
Quantità: 4 disponibili
Foto dell'editore
Labelled Deduction
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Print on Demand pp. 284 Illus. Codice articolo 5838442
Quantità: 4 disponibili
Foto dell'editore
Labelled Deduction
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 284. Codice articolo 183058111
Quantità: 4 disponibili