Klik op een omslag om naar Google Boeken te gaan.
Bezig met laden... Logic and Computer Science (Apic Studies in Data Processing)door Piergiorgio Odifreddi
Geen Bezig met laden...
Meld je aan bij LibraryThing om erachter te komen of je dit boek goed zult vinden. Op dit moment geen Discussie gesprekken over dit boek. Geen besprekingen geen besprekingen | voeg een bespreking toe
The application of mathematical logic to computer science continues to be of major importance in the development of more advanced systems. In this book, a combination of survey chapters and applications work is presented--particularly concentrating on lamda-calculus, typed functional programming, and theorem provers Geen bibliotheekbeschrijvingen gevonden. |
Actuele discussiesGeenPopulaire omslagenGeen
Google Books — Bezig met laden... GenresDewey Decimale Classificatie (DDC)005.131Information Computer Science; Knowledge and Systems Computer programming, programs, data, security Programming Languages Formal Specification; Mathematical LanguagesLC-classificatieWaarderingGemiddelde: Geen beoordelingen.Ben jij dit?Word een LibraryThing Auteur. |