Udvidet returret til d. 31. januar 2024

Theorem Proving in Higher Order Logics

  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540678632
  • Indbinding:
  • Paperback
  • Sideantal:
  • 552
  • Udgivet:
  • 27. juli 2000
  • Størrelse:
  • 155x30x235 mm.
  • Vægt:
  • 826 g.
  • BLACK NOVEMBER
Leveringstid: 8-11 hverdage
Forventet levering: 14. november 2024

Brugerbedømmelser af Theorem Proving in Higher Order Logics



Gør som tusindvis af andre bogelskere

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