Black Week: Spar op til 85% Spar op til 85% på et kæmpe udvalg af gode bøger
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods - Bog

- 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

indgår i Lecture Notes in Computer Science serien

indgår i Lecture Notes in Artificial Intelligence serien

Automated Reasoning with Analytic Tableaux and Related Methods
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642405365
  • Indbinding:
  • Paperback
  • Sideantal:
  • 289
  • Udgivet:
  • 21. august 2013
  • Størrelse:
  • 155x235x16 mm.
  • Vægt:
  • 4569 g.
  • 8-11 hverdage.
  • 11. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

  • BLACK WEEK

Medlemspris

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

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:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.