SériesGraduate Texts in Computer Science
5 Œuvres
Popularité 42,949 (122 Membres)
161 Livres
0 Critiques
3.7
Essentials of Logic Programming par Christopher John Hogger 7 exemplaires | 1 |
First-Order Logic and Automated Theorem Proving par Melvin Fitting 18 exemplaires | |
An Introduction to Kolmogorov Complexity and Its Applications par Ming Li 100 exemplaires | |
Logic for Applications par Anil Nerode 16 exemplaires | |
Lambda Calculi: A Guide for Computer Scientists par Chris Hankin 16 exemplaires | 3 |
Mots-clés
Utilisateurs ayant le plus d'œuvres de cette série
prengel90 (3 œuvres), 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)