Bachmair – författare

Visar alla böcker från författaren Bachmair. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Canonical Equational Proofs

   Av Bachmair

   Häftad, 1991

   552 kr

   Lägg i varukorg

   Equations occur in many computer applications, such as symbolic compu­ tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving. Rewrite systems are directed equations used to compute by replacing subterms in a given …

2. 

   Canonical Equational Proofs

   Av Bachmair

   E-bok, 2013

   734 kr

   Lägg i varukorg

   Equations occur in many computer applications, such as symbolic compu­ tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving. Rewrite systems are directed equations used to compute by replacing subterms in a given …