Udvidet returret til d. 31. januar 2025

5th Conference on Automated Deduction - Wolfgang Bibel - Bog

  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540100096
  • Indbinding:
  • Paperback
  • Sideantal:
  • 404
  • Udgivet:
  • 1. juni 1980
  • Størrelse:
  • 155x22x235 mm.
  • Vægt:
  • 610 g.
  • 8-11 hverdage.
  • 10. december 2024
På lager

Normalpris

  • BLACK WEEK

Medlemspris

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

Brugerbedømmelser af 5th Conference on Automated Deduction



Find lignende bøger

Gør som tusindvis af andre bogelskere

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