Udvidet returret til d. 31. januar 2025

Theorem Proving with Analytic Tableaux and Related Methods

  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540593386
  • Indbinding:
  • Paperback
  • Sideantal:
  • 372
  • Udgivet:
  • 26. april 1995
  • Størrelse:
  • 155x21x235 mm.
  • Vægt:
  • 563 g.
  • BLACK NOVEMBER
Leveringstid: 8-11 hverdage
Forventet levering: 6. december 2024

Brugerbedømmelser af Theorem Proving 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.