Automated Reasoning with Analytic Tableaux and Related Methods

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
595,95 kr.

Bag om Automated Reasoning with Analytic Tableaux and Related Methods

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019.

Vis mere

Sprog:
Engelsk

ISBN:
9783030290252

Forlag:
Springer Nature Switzerland AG

Indbinding:
Paperback

Sideantal:
477

Udgivet:
14. august 2019

Udgave:
12019

Størrelse:
155x235x0 mm.

Vægt:
759 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 10. december 2024

På lager

Normalpris

BLACK WEEK
595,95 kr. + Fragt
~~595,95 kr.~~

Medlemspris

545,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Automated Reasoning with Analytic Tableaux and Related Methods

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019.

Brugerbedømmelser af Automated Reasoning with Analytic Tableaux and Related Methods

Andre købte også..

Find lignende bøger

Bogen Automated Reasoning with Analytic Tableaux and Related Methods findes i følgende kategorier:

Business og læring > Computer og IT

Automated Reasoning with Analytic Tableaux and Related Methods - Bog

Beskrivelse af Automated Reasoning with Analytic Tableaux and Related Methods

Brugerbedømmelser af Automated Reasoning with Analytic Tableaux and Related Methods

Gør som tusindvis af andre bogelskere