ReihenGraduate Texts in Computer Science
5 Werke
Beliebtheit 42,795 (122 Mitglieder)
161 Bücher
0 Rezensionen
3.7
Essentials of Logic Programming von Christopher John Hogger 7 Exemplare | 1 |
First-Order Logic and Automated Theorem Proving von Melvin Fitting 18 Exemplare | |
An Introduction to Kolmogorov Complexity and Its Applications von Ming Li 100 Exemplare | |
Logic for Applications von Anil Nerode 16 Exemplare | |
Lambda Calculi: A Guide for Computer Scientists von Chris Hankin 16 Exemplare | 3 |
Tags
Top Members
prengel90 (3 Werke), 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)