«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Labelled Deduction

Idioma InglésInglés
Libro Tapa blanda
Libro Labelled Deduction David Basin
Código Libristo: 06622611
Editores Springer, octubre 2012
Labelled deduction is an approach to providing frameworks for presenting and using different logics... Descripción completa
? points 276 b
112.89 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Silva de extravagancias Antonio Porpetta / Libro Tapa blanda
common.buy 12.09 €
Cartuja de la Defensión, Convento de Santo Domingo AGUAYO COBO / Libro Tapa blanda
common.buy 14.99 €
Alte Liebe Und Anderes. Novellen Wilhelmine Heimburg / Libro Tapa blanda
common.buy 12.89 €
Analecta Hymnica Medii Aevi Guido Maria Dreves / Libro Tapa blanda
common.buy 21.99 €
Duše světa Roger Scruton / Libro Tapa blanda
common.buy 15.19 €
Red Line. Ausgabe ab 2014 - 7. Klasse, Schülerbuch. Bd.3 Frank Haß / Libro Tapa dura
common.buy 34.09 €
16 de diciembre: El gran extra de Navidad - un calendario erotico de Navidad Schmidt / Audiolibro MP3
common.buy 4.19 €
The Eminence in Shadow - Vol. 2 / Video Blu-ray
common.buy 35.50 €
Ostrov stratených stromov Elif Shafaková / Libro Tapa dura
common.buy 21.19 €
Valorisation Des Rebuts de Dattes Dans Des Rations Pour Ovins Lamia Mebirouk-Boudechiche / Libro Tapa blanda
common.buy 67.89 €
Beastmaking NED FEEHALLY / Libro Tapa blanda
common.buy 24.59 €
Jsi bez hranic Katy Yaksha / Libro Tapa blanda
common.buy 6.99 €
Gotteslob Taschenausgabe Region Ost. Cabra-Leder, schwarz Bischöfe Deutschlands / Libro Tapa blanda
common.buy 32.39 €
La Santa Muerte: El culto de los que oran y de los que matan Heber Casal Saenz / Libro Tapa blanda
common.buy 11.59 €
Entwicklung einer RFID Interface-Anwendung Andreas Link / Libro Tapa blanda
common.buy 72.89 €
Theoretische Grundlagen der allgemeinen Kristalldiagnose im durchfallenden Licht R. Rath / Libro Tapa blanda
common.buy 58.19 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Labelled Deduction
Autor David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 267
EAN 9789401057813
ISBN 9789401057813
Código Libristo 06622611
Editores Springer
Peso 438
Dimensiones 155 x 235 x 16

Categorías

Filosofía y religión > Filosofía > Temas de la filosofía > Filosofía: lógica
Computación e informática > Ciencias de la computación > Inteligencia artificial
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 destinatario

También puede interesarle

Arshile Gorky Hayden Herrera / Libro Tapa dura
common.buy 43.61 €
Finding the Bright Side: Actively seeking and finding the bright side of Alzheimer's Disease Marlene Krafft Beckner / Libro Tapa blanda
common.buy 12.60 €
Cry Havoc: How the Arms Race Drove the World to War, 1931-1941 Joseph Maiolo / Libro Tapa blanda
common.buy 30.80 €
Coco the gat 4. A hedgehog at home Gérard Moncomble / Libro Tapa blanda
common.buy 13.49 €
Problem of Sociology Lee / Libro Tapa dura
common.buy 301.69 €
9 Strategies to BUILD and GROW Your Author Platform: A Step-by-Step Book Marketing Plan to Get More Exposure and Sales Shelley Hitz / Libro Tapa blanda
common.buy 7.89 €
Astrological Practice of Physick: Discovering the True Way to Cure All Kinds of Diseases and Infirmities Joseph Blagrave / Libro Tapa blanda
common.buy 27.90 €
The Great War Syndicate Frank Richard Stockton / Libro Tapa blanda
common.buy 7.99 €
Iron Will James Maxwell / Libro Tapa blanda
common.buy 10.29 €
Popular
The Idiot Elif Batuman / Libro Tapa blanda
common.buy 10.99 €
Popular
Fight Club Chuck Palahniuk / Libro Tapa blanda
common.buy 11.39 €
Popular
Back Home Michelle Magorian / Libro Tapa blanda
common.buy 10.49 €
Intermittent Fasting: Complete Beginner's Guide To Lose Weight, Burn Fat And Stay Healthy Through Intermittent Fasting Elizabeth Wells / Libro Tapa blanda
common.buy 13.90 €
Popular
Spy x Family, Vol. 7 Tatsuya Endo / Libro Tapa blanda
common.buy 9.09 €
Económico
Voyage ABBA / Audio CD de audio
common.buy 2.69 €
Oxford Textbook of Advanced Heart Failure and Cardiac Transplantation Michael J. Domanski / Libro electrónico Adobe ePub DRM
common.buy 160.66 €
Codex Rosmanicus Bret James Stewart / Libro Tapa blanda
common.buy 17.19 €
DENTAL IMPLANT ABUTMENT CONNECTION Vilas Patel / Libro Tapa blanda
common.buy 59.99 €
Mahavatar Babaji Speaks / Libro Tapa blanda
common.buy 17.20 €
Real estate management and rental conditions in Congo Ulrich Salem GUEBO / Libro Tapa blanda
common.buy 43.31 €
Carol's Counsel, Comedies, & Calamities Carol Dold / Libro Tapa blanda
common.buy 25.29 €
Toulouse-Lautrec Matthias Arnold / Libro Tapa dura
common.buy 19.59 €
Vernacular Architecture in the 21st Century Lindsay Asquith / Libro Tapa blanda
common.buy 80.89 €
Grendel: The Devil Inside Matt Wagner / Libro Tapa blanda
common.buy 15.20 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?