Gå direkte til innholdet
Proof Theory and Logic Programming
Proof Theory and Logic Programming
Spar

Proof Theory and Logic Programming

Forfatter:
Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
Undertittel
Computation as Proof Search
Forfatter
Dale Miller
ISBN
9781009561310
Språk
Engelsk
Utgivelsesdato
18.12.2025
Tilgjengelige elektroniske format
  • PDF - Adobe DRM
Les e-boka her
  • E-bokleser i mobil/nettbrett
  • Lesebrett
  • Datamaskin