Udvidet returret til d. 31. januar 2025

Automated Reasoning with Analytic Tableaux and Related Methods

  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540676973
  • Indbinding:
  • Paperback
  • Sideantal:
  • 456
  • Udgivet:
  • 21. juni 2000
  • Størrelse:
  • 155x25x235 mm.
  • Vægt:
  • 686 g.
  • BLACK NOVEMBER
Leveringstid: 8-11 hverdage
Forventet levering: 7. december 2024

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



Gør som tusindvis af andre bogelskere

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