SeriesGraduate Texts in Computer Science
5 Obras
Popularidad 43,023 (120 Miembros)
157 Libros
0 Reseñas
3.7
Essentials of Logic Programming por Christopher John Hogger 6 copias | 1 |
First-Order Logic and Automated Theorem Proving por Melvin Fitting 18 copias | |
An Introduction to Kolmogorov Complexity and Its Applications por Ming Li 99 copias | |
Logic for Applications por Anil Nerode 15 copias | |
Lambda Calculi: A Guide for Computer Scientists por Chris Hankin 15 copias | 3 |
Etiquetas
Miembros Principales
CMUQLResearch (3 obras), mreza101 (2), SJCLibraryOxford (2), dhaddock (2), BalliolLibrary (2), schurl (2), mkjones (2), nillacat (2), Cliff_Elis (1), xandkar (1), zhuazhua88 (1), bergerd (1), RiVassa (1), hmccslibrary (1), SeekingApatheia (1), abstroyer (1), eniac (1), pbumbulis (1), Biblioblue (1), ibsdimag (1), wrrnhttn (1), morphismus (1), kasyapa (1), keithb_b (1), lafstern (1), JosephHilton (1), jukofyork (1), MITLibStaff (1), dvelkov (1), Kliban (1), JorgeNakazawa (1), benwr (1), tlepola (1), Wickenjon (1), John_Scott (1), pschoessow (1), thalassa_thalassa (1), shadeofpale (1), logicatGU (1), RedAndBlackTree (1), Tammmer (1), afeman (1), marcell (1), viki19 (1), Lansett (1), Tautadiction (1), allkindsofstuff (1), weidai (1), rhinocratic (1), kanima (1), cyberlaw (1), rynelf (1), vijay.raghavan (1), appleby (1), pgourdin (1), p.h.i (1), etptupaf (1), draganigajic (1), olivenmann (1), edugalt (1), pbhaduri (1), BG_AON (1), MartyBrandon (1), falevian (1), kilter (1), rpeckham (1), the_sponge (1), Smariek (1), mathew17 (1), amorgo (1), nikodemus (1), manz (1), ndimiduk (1), virtually_michael (1), panks (1), peterdmark (1), redondo (1), amitc (1), bayesian (1), thatha (1), henny (1), nfactor13 (1), CalvinOstrum (1), fwilhelm (1), odeb (1), jtauber (1), JasonRiedy (1), kaixo (1), ero (1), johnnylogic (1), learning777 (1), cshalizi (1), davidlmontgomery (1), rdaneel (1), kathkavi (1), timpsd (1), tylercurtain (1), lasermazer (1), szarka (1), raak (1), hakank (1), dean (1)