Contacto
Cómo comprar
Entrega
Guía de compras
Labelled Deduction
Inglés
276 b
Política de devolución de 30 días
Clientes que también han comprado
/
Tapa blanda
11.59
€
/
Tapa blanda
58.09
€
/
Tapa blanda
67.89
€
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.
Sobre el libro
Inglés
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa blanda
13.89
€
/
Tapa blanda
27.89
€
/
Tapa blanda
7.89
€
/
Tapa dura
124.49
€
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?