«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.

Theorem Proving with Analytic Tableaux and Related Methods

5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Theorem Proving with Analytic Tableaux and Related Methods Pierangelo Miglioli
Código Libristo: 05274573
Editores Springer, Berlin, noviembre 1995
This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableau... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

FELICIA PEREZ DEL VAL Pérez del Val / Libro Tapa blanda
common.buy 7.89 €
Anleitung zur Zimmer-Gartnerei Max Jubisch / Libro Tapa blanda
common.buy 30.39 €
Todas las cosas que no quisiste escuchar Josune Bargueiras / Libro Tapa blanda
common.buy 18.29 €
Le Menteur (oeuvre au programme du Bac de français 2025, 1re générale & techno) Pierre Corneille / Libro Tapa blanda
common.buy 5.09 €
Hviezdni priatelia 8 Skrytá mágia Linda Chapmanová / Libro Tapa dura
common.buy 11.59 €
Nezadržitelná vlna Michael Bhaskar / Libro Libro
common.buy 17.49 €
L'incarcerazione femminile nei comuni di Guaranésia e Guaxupé Pedro H. de Souza E. Angelini / Libro Tapa blanda
common.buy 39.39 €
Sylvae la faucheuse des cieux Bouder / Libro Tapa blanda
common.buy 18.59 €
Animales. MiniToc RHIANNON FINDLAY / Libro Tapa dura
common.buy 13.49 €
Próximamente
Coopetition, kooperativ konkurrieren Adam M. Brandenburger / Libro Tapa blanda
common.buy 28.39 €
Sénégal post-Covid-19 : souveraineté et ruptures Cheikh Gu?ye / Libro Tapa blanda
common.buy 29.19 €
LE TALMUD T XV - KETOUBOT 1 STEINSALTZ / Libro Tapa dura
common.buy 53.39 €
Dal Papa Al Concilio, Dal Consilio A Dio (1875) Giuseppe Mazzini / Libro Tapa blanda
common.buy 20.99 €
WAS IST WAS Junior Hörspiel: Das Meer, 1 Audio-CD Charlotte Habersack / Audio CD de audio
common.buy 13.09 €
Femeilor Regina Eugen Moruzi / Libro Tapa blanda
common.buy 10.69 €
Four German Songs Ursula Mamlok / Artículos impresos Partituras
common.buy 14.69 €
Corazón negro KAREN ROBARDS / Libro Tapa blanda
common.buy 12.95 €
' Wer bist du, Gott?' Petra Freudenberger-Lötz / Libro Tapa blanda
common.buy 20.89 €
Prophetie und Zweiter Tempel Rüdiger Lux / Libro Tapa dura
common.buy 151.29 €
Próximamente
Thirteen Modern English- Amer. Short Stories Collective / Libro Tapa blanda
common.buy 11.49 €

This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.

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 Theorem Proving with Analytic Tableaux and Related Methods
Autor Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1996
Número de páginas 336
EAN 9783540612087
ISBN 3540612084
Código Libristo 05274573
Editores Springer, Berlin
Peso 490
Dimensiones 155 x 235 x 18

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
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

Geriatric Home-Based Medical Care Jessica L. Colburn / Libro Tapa blanda
common.buy 121.69 €
Founder Judy K. Walker / Libro Tapa blanda
common.buy 21.99 €
Low Budget Tricks for Small Spaces Montse Borras / Libro Tapa blanda
common.buy 25.59 €
Sentinels of Tzurac: Retaliation James Raven / Libro Tapa blanda
common.buy 20.09 €
Collaborative solutions to wildlife and habitat management United States Congress / Libro Tapa blanda
common.buy 22.89 €
Abstract Pissarro ANN SAUL / Libro Tapa blanda
common.buy 30.79 €
A General History of the Pyrates Daniel Defoe / Libro Tapa blanda
common.buy 8.39 €
Chronicle of Scottish Poetry: From the Thirteenth Century, to the Union of the Crowns James Sibbald / Libro Tapa blanda
common.buy 28.79 €
The Arab And The African: Experiences In Eastern Equatorial Africa During A Residence Of Three Years (1891) Septimus Tristram Pruen / Libro Tapa blanda
common.buy 35.79 €
The Panorama of Professions and Trades; or Every Man's Book Edward Hazen / Libro Tapa blanda
common.buy 24.89 €
Becoming an Exceptional API Leader Li-Rong Lilly Cheng / Libro Tapa blanda
common.buy 12.69 €
The Hero + Vegas = No Regrets Louise Bay / Libro Tapa blanda
common.buy 14.99 €
On Mother's Lap Ann Herbert Scott / Libro Libro de concertinas
common.buy 7.29 €
Notes on Spiritual Discourses of Shri Atmananda Shri Atmananda / Libro Tapa blanda
common.buy 13.69 €
Traditional Chinese Iron Industry and Its Modern Fate Donald B. Wagner / Libro Tapa blanda
common.buy 66.89 €
Understanding PAD Paper Poster Scientific Publishing / Artículos impresos Póster
common.buy 19.49 €
Forensics Handbook Pete Moore / Libro Tapa blanda
common.buy 12.69 €
Principles of Bacterial Detection: Biosensors, Recognition Receptors and Microsystems Mohammed Zourob / Libro Tapa dura
common.buy 269.39 €
Pets, People, and Pragmatism Erin McKenna / Libro Tapa dura
common.buy 112.19 €
Philadelphia Freedoms Michael Awkward / Libro Tapa dura
common.buy 111.29 €

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?