Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Solving Higher-Order Equations

1 260 kr
Lägsta pris på PriceRunner

This monograph develops techniques for equational reasoning in higher-order logic. This is followed by a systematic development from general equational rea­ soning towards effective calculi for declarative programming in higher-order logic and A-calculus.

Undertitel
From Logic to Programming
ISBN
9781461272786
Språk
engelska
Vikt
281 gram
Utgivningsdatum
2012-10-21
Sidor
188