Solving Higher-Order Equations From Logic to Programming
Afbeeldingen
Artikel vergelijken
Auteur:
Christian Prehofer
- Engels
- Hardcover
- 9780817640323
- 18 december 1997
- 204 pagina's
Samenvatting
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.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Hardcover
- Oorspronkelijke releasedatum
- 18 december 1997
- Aantal pagina's
- 204
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Christian Prehofer
- Hoofduitgeverij
- Birkhauser Boston Inc
Overige kenmerken
- Editie
- 1998 ed.
- Extra groot lettertype
- Nee
- Product breedte
- 155 mm
- Product lengte
- 235 mm
- Studieboek
- Ja
- Verpakking breedte
- 159 mm
- Verpakking hoogte
- 19 mm
- Verpakking lengte
- 241 mm
- Verpakkingsgewicht
- 499 g
EAN
- EAN
- 9780817640323
Je vindt dit artikel in
- Categorieën
- Taal
- Engels
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Algemene boeken
Kies gewenste uitvoering
Bindwijze
: Hardcover
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.