- 5 Resultados
precio mínimo: € 17,95, precio máximo: € 64,19, precio promedio: € 41,02
1
Pedir
por lehmanns.de
€ 64,19
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Kai Brünnler; George Metcalfe:

Automated Reasoning with Analytic Tableaux and Related Methods - Pasta blanda

2011, ISBN: 9783642221187

20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings, Buch, Softcover, This book constitutes the refereed proceedings of the 20th International Con… Más…

Gastos de envío:sofort lieferbar. (EUR 0.00)
cerrar (X)
2
Automated Reasoning with Analytic Tableaux and Related Methods - Brünnler, Kai|Metcalfe, George
Pedir
por AbeBooks.de
€ 20,70
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado

Brünnler, Kai|Metcalfe, George:

Automated Reasoning with Analytic Tableaux and Related Methods - Pasta blanda

2011, ISBN: 3642221181

[EAN: 9783642221187], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INTELLIGENZ KüNSTLICHE KI - AI ROBOTER ROBOTIK INDUSTRIEROBOTER MATHEMA… Más…

NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
cerrar (X)
3
Automated Reasoning with Analytic Tableaux and Related Methods - Bruennler, Kai Metcalfe, George
Pedir
por booklooker.de
€ 17,95
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Bruennler, Kai Metcalfe, George:
Automated Reasoning with Analytic Tableaux and Related Methods - Primera edición

2011

ISBN: 9783642221187

Pasta blanda

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings o… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
cerrar (X)
4
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - Brünnler, Kai und George Metcalfe
Pedir
por booklooker.de
€ 43,14
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Brünnler, Kai und George Metcalfe:
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - libro usado

2011, ISBN: 9783642221187

[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Ausg. 2011 10842732/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2011, Banküberweisung, PayPal, Klarna-… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
cerrar (X)
5
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - Brünnler, Kai und George Metcalfe
Pedir
por booklooker.de
€ 59,10
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Brünnler, Kai und George Metcalfe:
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - libro usado

2011, ISBN: 9783642221187

[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Ausg. 2011 10842732/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2011, Banküberweisung, Kreditkarte, Pa… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Automated Reasoning with Analytic Tableaux and Related Methods
Autor:
Título:
ISBN:

9783642221187


This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011. The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.

Detalles del libro - Automated Reasoning with Analytic Tableaux and Related Methods


EAN (ISBN-13): 9783642221187
ISBN (ISBN-10): 3642221181
Tapa dura
Tapa blanda
Año de publicación: 2011
Editorial: Springer Berlin
277 Páginas
Peso: 0,447 kg
Idioma: Englisch

Libro en la base de datos desde 2007-04-14T12:53:59+02:00 (Madrid)
Página de detalles modificada por última vez el 2024-02-23T17:35:19+01:00 (Madrid)
ISBN/EAN: 9783642221187

ISBN - escritura alterna:
3-642-22118-1, 978-3-642-22118-7
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: brunn, metcalf, georg brun, springer kai, metcalfe
Título del libro: table, bern, automated reasoning with analytic tableaux, welcome switzerland, tableau, tablea, kai

Datos del la editorial

Autor: Kai Brünnler; George Metcalfe
Título: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Editorial: Springer; Springer Berlin
279 Páginas
Año de publicación: 2011-06-22
Berlin; Heidelberg; DE
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 279 p. 40 illus., 4 illus. in color.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; connection calculus; decision procedures; first-order logic; hybrid logic; proof theory; Artificial Intelligence; Formal Languages and Automata Theory; Programming Techniques; Software Engineering; Computer Science Logic and Foundations of Programming; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Software Engineering; EA

Up-to-date results Fast track conference proceedings State-of-the-art report

Más, otros libros, que pueden ser muy parecidos a este:

Último libro similar:
9783030290252 Automated Reasoning with Analytic Tableaux and Related Methods (Herausgegeben:Cerrito, Serenella; Popescu, Andrei)

< para archivar...