- 5 Résultats
prix le plus bas: € 41,44, prix le plus élevé: € 58,99, prix moyen: € 51,75
1
Automated Reasoning with Analytic Tableaux and Related Methods - Springer
Commander
sur Thalia.de
€ 58,84
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Springer:

Automated Reasoning with Analytic Tableaux and Related Methods - nouveau livre

2015, ISBN: 9783319243122

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Pola… Plus…

Nr. 43907528. Frais d'envoi, Sofort per Download lieferbar, DE. (EUR 0.00)
fermer(X)
2
Automated Reasoning with Analytic Tableaux and Related Methods - Hans De Nivelle
Commander
sur Springer.com
€ 46,00
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Hans De Nivelle:

Automated Reasoning with Analytic Tableaux and Related Methods - nouveau livre

2015, ISBN: 9783319243122

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Pola… Plus…

new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00)
fermer(X)
3
Automated Reasoning with Analytic Tableaux and Related Methods
Commander
sur Hugendubel.de
€ 58,99
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Automated Reasoning with Analytic Tableaux and Related Methods - nouveau livre

2015

ISBN: 9783319243122

Automated Reasoning with Analytic Tableaux and Related Methods ab 58.99 € als pdf eBook: 24th International Conference TABLEAUX 2015 Wroclaw Poland September 21-24 2015 Proceedings. Aus d… Plus…

Nr. 25073860. Frais d'envoi, , DE. (EUR 0.00)
fermer(X)
4
Automated Reasoning with Analytic Tableaux and Related Methods
Commander
sur Hugendubel.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Automated Reasoning with Analytic Tableaux and Related Methods - nouveau livre

2015, ISBN: 9783319243122

*Automated Reasoning with Analytic Tableaux and Related Methods* - 24th International Conference TABLEAUX 2015 Wroclaw Poland September 21-24 2015 Proceedings / pdf eBook für 53.49 € / Au… Plus…

Frais d'envoiIn stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
fermer(X)
5
Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings - Klaus Janschek
Commander
sur hive.co.uk
£ 35,69
(environ € 41,44)
Commander
Détails et expédition
Lien sponsorisé
Klaus Janschek:
Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings - nouveau livre

2015, ISBN: 9783319243122

; PDF; Computing > Computer science > Artificial intelligence, Springer Berlin Heidelberg

No. 9783319243122. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
fermer(X)
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
Auteur:
Titre:
ISBN:

9783319243122

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


EAN (ISBN-13): 9783319243122
Date de parution: 2015
Editeur: Springer-Verlag GmbH

Livre dans la base de données depuis 2016-01-14T00:32:56+01:00 (Paris)
Page de détail modifiée en dernier sur 2023-05-06T21:48:03+02:00 (Paris)
ISBN/EAN: 9783319243122

ISBN - Autres types d'écriture:
978-3-319-24312-2
Autres types d'écriture et termes associés:
Titre du livre: tableaux, automated reasoning

Données de l'éditeur

Auteur: Hans De Nivelle
Titre: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Editeur: Springer; Springer International Publishing
355 Pages
Date de parution: 2015-09-10
Cham; CH
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVI, 355 p. 70 illus. in color.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Automated reasoning; Computational complexity; Linear arithmetic; Modal logic; Proof checking; Coherent logic; Computational geometry; Coq; Description logic; general simplex algorithm; intermediate logic; logic of proofs; normal modal logics; proof theory; qualitative spatiotemporal logic; resolution method; spatiotemporal logic; tableau method; tableaux; theorem prover; C; Artificial Intelligence; Formal Languages and Automata Theory; Programming Techniques; Software Engineering; Discrete Mathematics in Computer Science; Computer Science Logic and Foundations of Programming; Computer Science; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Software Engineering; Mathematik für Informatiker; Diskrete Mathematik; BC

Includes supplementary material: sn.pub/extras

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