Markedets billigste bøger
Levering: 1 - 2 hverdage

Theorem Proving with Analytic Tableaux and Related Methods

  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540612087
  • Indbinding:
  • Paperback
  • Sideantal:
  • 348
  • Udgivet:
  • 24. april 1996
  • Størrelse:
  • 155x19x235 mm.
  • Vægt:
  • 528 g.
Leveringstid: 8-11 hverdage
Forventet levering: 16. januar 2025

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.