Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. 5th Conference on Automated Deduction

5th Conference on Automated Deduction - Wolfgang Bibel - Bog

af Wolfgang Bibel, R. Kowalski

indgår i Lecture Notes in Computer Science serien

5th Conference on Automated Deduction af Wolfgang Bibel
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540100096
  • Indbinding:
  • Paperback
  • Sideantal:
  • 404
  • Udgivet:
  • 1. juni 1980
  • Størrelse:
  • 155x22x235 mm.
  • Vægt:
  • 610 g.
  • 8-11 hverdage.
  • 21. november 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

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

Bag om Wolfgang Bibel

Vis alle bøger af Wolfgang Bibel

Brugerbedømmelser af 5th Conference on Automated Deduction



Andre købte også..
Find lignende bøger
Bogen 5th Conference on Automated Deduction findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

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