SeriesGraduate Texts in Computer Science
5 Obras
Popularidad 43,226 (122 Miembros)
161 Libros
0 Reseñas
3.7
Essentials of Logic Programming por Christopher John Hogger 7 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 100 copias | |
Logic for Applications por Anil Nerode 16 copias | |
Lambda Calculi: A Guide for Computer Scientists por Chris Hankin 16 copias | 3 |
Etiquetas
Miembros Principales
prengel90 (3 obras), CMUQLResearch (3), mreza101 (2), SJCLibraryOxford (2), dhaddock (2), BalliolLibrary (2), schurl (2), mkjones (2), nillacat (2), louisbirla (1), 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)