Udvidet returret til d. 31. januar 2025

Computer-Aided Reasoning: Acl2 Case Studies

Computer-Aided Reasoning: Acl2 Case Studiesaf Matt Kaufmann
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780792378808
  • Indbinding:
  • Hardback
  • Sideantal:
  • 648
  • Udgivet:
  • 1. juni 2000
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: Ukendt - mangler pt.

Brugerbedømmelser af Computer-Aided Reasoning: Acl2 Case Studies



Gør som tusindvis af andre bogelskere

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