Gå direkt till innehållet
Proof Theory and Logic Programming
Proof Theory and Logic Programming
Spara

Proof Theory and Logic Programming

Författare:
Engelska
Lägsta pris på PriceRunner
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
Undertitel
Computation as Proof Search
Författare
Dale Miller
ISBN
9781009561310
Språk
Engelska
Utgivningsdatum
2025-12-18
Tillgängliga elektroniska format
  • PDF - Adobe DRM
Läs e-boken här
  • E-boksläsare i mobil/surfplatta
  • Läsplatta
  • Dator