Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 69,99 €, prix le plus élevé: 69,99 €, prix moyen: 69,99 €
Automated Reasoning with Analytic Tableaux and Related Methods - Kai Brünnler
Livre non disponible
(*)
Kai Brünnler:
Automated Reasoning with Analytic Tableaux and Related Methods - Livres de poche

1, ISBN: 9783642221187

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - 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., DE, [SC: 24.90], Neuware, gewerbliches Angebot, 236x157x20 mm, 277, [GW: 447g], offene Rechnung (Vorkasse vorbehalten), PayPal, Kreditkarte, Banküberweisung, Internationaler Versand

Nouveaux livres Booklooker.de
Buchhandlung - Bides GbR
Frais d'envoiVersand in die Schweiz. (EUR 24.90)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Automated Reasoning with Analytic Tableaux and Related Methods - Kai Brünnler
Livre non disponible
(*)
Kai Brünnler:
Automated Reasoning with Analytic Tableaux and Related Methods - Livres de poche

1, ISBN: 9783642221187

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - 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., DE, Neuware, gewerbliches Angebot, FixedPrice, 277, [GW: 447g], offene Rechnung (Vorkasse vorbehalten), PayPal, Banküberweisung

Nouveaux livres Booklooker.de
Buchhandlung Kühn GmbH
Frais d'envoiZzgl. Versandkosten., Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Automated Reasoning with Analytic Tableaux and Related Methods - Kai Brünnler
Livre non disponible
(*)
Kai Brünnler:
Automated Reasoning with Analytic Tableaux and Related Methods - Livres de poche

1, ISBN: 9783642221187

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - 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., DE, Neuware, gewerbliches Angebot, 236x157x20 mm, 277, [GW: 447g], Banküberweisung, PayPal

Nouveaux livres Booklooker.de
Carl Hübscher GmbH
Frais d'envoiZzgl. Versandkosten., Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Automated Reasoning with Analytic Tableaux and Related Methods als Buch von - Springer-Verlag GmbH
Livre non disponible
(*)
Springer-Verlag GmbH:
Automated Reasoning with Analytic Tableaux and Related Methods als Buch von - nouveau livre

2011, ISBN: 9783642221187

ID: 819730635

Automated Reasoning with Analytic Tableaux and Related Methods ab 69.99 EURO 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings. Edition. Automated Reasoning with Analytic Tableaux and Related Methods ab 69.99 EURO 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings. Edition. Bücher > English, International > Gebundene Ausgaben, [PU: Springer, Berlin/Heidelberg/New York, NY]

Nouveaux livres eBook.de
No. 15281907. Frais d'envoiZzgl. Versandkosten., Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Automated Reasoning with Analytic Tableaux and Related Methods als Buch von
Livre non disponible
(*)
Automated Reasoning with Analytic Tableaux and Related Methods als Buch von - edition reliée, livre de poche

2011, ISBN: 9783642221187

ID: 238602421

Automated Reasoning with Analytic Tableaux and Related Methods:20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings. Edition. Automated Reasoning with Analytic Tableaux and Related Methods:20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings. Edition. Bücher > English, International > Gebundene Ausgaben, Springer-Verlag GmbH

Nouveaux livres Hugendubel.de
No. 15281907. Frais d'envoiZzgl. Versandkosten. (EUR 2.95)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.