Artículos relacionados a Labelled Deduction: 17 (Applied Logic Series)
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 41,29
EUR 51,54 gastos de envío desde Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Labelled Deduction: 17 (Applied Logic Series)
Imagen de archivo
Labelled Deduction (Applied Logic)
Publicado por
Kluwer Academic Publishers, 2000
ISBN 10: 0792362373
ISBN 13: 9780792362371
Nuevo
Tapa dura
Librería: New Book Sale, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service. Nº de ref. del artículo: 0792362373--26
Gastos de envío:
EUR 51,54
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Labelled Deduction (APPLIED LOGIC SERIES Volume 17) (Applied Logic Series, 17)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190183623
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Labelled Deduction
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 756492-n
Cantidad disponible: 15 disponibles
Imagen de archivo
Labelled Deduction (Hardcover)
Publicado por
Kluwer Academic Publishers, Dordrecht, 2000
ISBN 10: 0792362373
ISBN 13: 9780792362371
Nuevo
Tapa dura
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Hardcover. 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, parameterized proofs of metatheoretic properties, and ease of mechanizability. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9780792362371
Cantidad disponible: 1 disponibles
Imagen de archivo
Labelled Deduction (APPLIED LOGIC SERIES Volume 17) (Applied Logic Series, 17)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780792362371_new
Gastos de envío:
EUR 13,72
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Labelled Deduction
Publicado por
Springer Netherlands Apr 2000, 2000
ISBN 10: 0792362373
ISBN 13: 9780792362371
Nuevo
Buch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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 ref. del artículo: 9780792362371
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen del vendedor
Labelled Deduction
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Gebunden. Condición: New. Nº de ref. del artículo: 5969264
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Labelled Deduction
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 284. Nº de ref. del artículo: 263058101
Cantidad disponible: 4 disponibles
Imagen de archivo
Labelled Deduction
Impresión bajo demandaLibrería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 606. Nº de ref. del artículo: C9780792362371
Gastos de envío:
EUR 14,67
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Labelled Deduction
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. 284 Illus. Nº de ref. del artículo: 5838442
Gastos de envío:
EUR 7,44
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 4 disponibles