Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Automated Reasoning with Analytic Tableaux and Related Methods
- 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
- Bindende:
- Paperback
- Sider:
- 289
- Utgitt:
- 21. august 2013
- Dimensjoner:
- 155x235x16 mm.
- Vekt:
- 4569 g.
-
BLACK NOVEMBER
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 21. desember 2024
Utvidet returrett til 31. januar 2025
Brukervurderinger av Automated Reasoning with Analytic Tableaux and Related Methods
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Automated Reasoning with Analytic Tableaux and Related Methods finnes i følgende kategorier: