Klik op een omslag om naar Google Boeken te gaan.
Bezig met laden... Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)door Domenico Cantone
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
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning. Geen bibliotheekbeschrijvingen gevonden. |
Actuele discussiesGeen
Google Books — Bezig met laden... GenresDewey Decimale Classificatie (DDC)511.322Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logic Set TheoryLC-classificatieWaarderingGemiddelde: Geen beoordelingen.Ben jij dit?Word een LibraryThing Auteur. |