Udvidet returret til d. 31. januar 2025

Theorem Proving with Analytic Tableaux and Related Methods - Peter Baumgartner - Bog

  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540593386
  • Indbinding:
  • Paperback
  • Sideantal:
  • 372
  • Udgivet:
  • 26. april 1995
  • Størrelse:
  • 155x21x235 mm.
  • Vægt:
  • 563 g.
  • 8-11 hverdage.
  • 5. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

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

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.