- 5 Résultats
prix le plus bas: € 17,95, prix le plus élevé: € 64,19, prix moyen: € 41,02
1
Commander
sur lehmanns.de
€ 64,19
Envoi: € 0,001
CommanderLien sponsorisé
Kai Brünnler; George Metcalfe:

Automated Reasoning with Analytic Tableaux and Related Methods - Livres de poche

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

Frais d'envoisofort lieferbar. (EUR 0.00)
2
Automated Reasoning with Analytic Tableaux and Related Methods - Brünnler, Kai|Metcalfe, George
Commander
sur AbeBooks.de
€ 20,70
Envoi: € 0,001
CommanderLien sponsorisé

Brünnler, Kai|Metcalfe, George:

Automated Reasoning with Analytic Tableaux and Related Methods - Livres de poche

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

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
3
Automated Reasoning with Analytic Tableaux and Related Methods - Bruennler, Kai Metcalfe, George
Commander
sur booklooker.de
€ 17,95
Envoi: € 0,001
CommanderLien sponsorisé
Bruennler, Kai Metcalfe, George:
Automated Reasoning with Analytic Tableaux and Related Methods - Première édition

2011

ISBN: 9783642221187

Livres de poche

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

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
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
Commander
sur booklooker.de
€ 43,14
Envoi: € 0,001
CommanderLien sponsorisé
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 - livre d'occasion

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

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
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
Commander
sur booklooker.de
€ 59,10
Envoi: € 0,001
CommanderLien sponsorisé
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 - livre d'occasion

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

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Automated Reasoning with Analytic Tableaux and Related Methods

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.

Informations détaillées sur le livre - Automated Reasoning with Analytic Tableaux and Related Methods


EAN (ISBN-13): 9783642221187
ISBN (ISBN-10): 3642221181
Version reliée
Livre de poche
Date de parution: 2011
Editeur: Springer Berlin
277 Pages
Poids: 0,447 kg
Langue: Englisch

Livre dans la base de données depuis 2007-04-14T12:53:59+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-02-23T17:35:19+01:00 (Zurich)
ISBN/EAN: 9783642221187

ISBN - Autres types d'écriture:
3-642-22118-1, 978-3-642-22118-7
Autres types d'écriture et termes associés:
Auteur du livre: brunn, metcalf, georg brun, springer kai, metcalfe
Titre du livre: table, bern, automated reasoning with analytic tableaux, welcome switzerland, tableau, tablea, kai


Données de l'éditeur

Auteur: Kai Brünnler; George Metcalfe
Titre: 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
Editeur: Springer; Springer Berlin
279 Pages
Date de parution: 2011-06-22
Berlin; Heidelberg; DE
Langue: Anglais
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

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783030290252 Automated Reasoning with Analytic Tableaux and Related Methods (Herausgegeben:Cerrito, Serenella; Popescu, Andrei)


< pour archiver...