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ä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
18.12.2025
Tillgängliga elektroniska format
  • PDF - Adobe DRM
Läs e-boken här
  • E-boksläsare i mobil/surfplatta
  • Läsplatta
  • Dator