- 5 resultados
menor preço: € 17.95, preço mais alto: € 64.19, preço médio: € 41.02
1
Encomendar
no/na lehmanns.de
€ 64.19
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Kai Brünnler; George Metcalfe:

Automated Reasoning with Analytic Tableaux and Related Methods - Livro de bolso

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… mais…

Custos de envio:sofort lieferbar. (EUR 0.00)
fechar(X)
2
Automated Reasoning with Analytic Tableaux and Related Methods - Brünnler, Kai|Metcalfe, George
Encomendar
no/na AbeBooks.de
€ 20.70
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado

Brünnler, Kai|Metcalfe, George:

Automated Reasoning with Analytic Tableaux and Related Methods - Livro de bolso

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… mais…

NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
fechar(X)
3
Automated Reasoning with Analytic Tableaux and Related Methods - Bruennler, Kai Metcalfe, George
Encomendar
no/na booklooker.de
€ 17.95
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Bruennler, Kai Metcalfe, George:
Automated Reasoning with Analytic Tableaux and Related Methods - primeira edição

2011

ISBN: 9783642221187

Livro de bolso

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

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
fechar(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
Encomendar
no/na booklooker.de
€ 43.14
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link 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 - livro 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-… mais…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
fechar(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
Encomendar
no/na booklooker.de
€ 59.10
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link 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 - livro 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… mais…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Automated Reasoning with Analytic Tableaux and Related Methods
Autor:
Título:
Número ISBN:

3642221181


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.

Dados detalhados do livro - Automated Reasoning with Analytic Tableaux and Related Methods


EAN (ISBN-13): 9783642221187
ISBN (ISBN-10): 3642221181
Livro de capa dura
Livro de bolso
Ano de publicação: 2011
Editor/Editora: Springer Berlin
277 Páginas
Peso: 0,447 kg
Língua: Englisch

Livro na base de dados desde 2007-04-14T07:53:59-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-02-23T13:35:19-03:00 (Sao Paulo)
Número ISBN/EAN: 3642221181

Número ISBN - Ortografia alternativa:
3-642-22118-1, 978-3-642-22118-7
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: brunn, metcalf, georg brun, springer kai, metcalfe
Título do livro: table, bern, automated reasoning with analytic tableaux, welcome switzerland, tableau, tablea, kai

Outros livros adicionais, que poderiam ser muito similares com este livro:

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

< Para arquivar...