| LDR | 01100cam a2200277Ia 4500 | ||
| 001 | 008321610 | ||
| 003 | MiAaHDL | ||
| 005 | 20111212000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 008 | 950317s1992 caua tb 000 0 eng d | ||
| 035 | ⊔ | ⊔ | ‡asdr-ucsc.b34633297 |
| 040 | ⊔ | ⊔ | ‡aPMC ‡cPMC ‡dOCLCQ ‡dCUZ |
| 049 | ⊔ | ⊔ | ‡aCUZA |
| 090 | ⊔ | ⊔ | ‡aQA75.5 ‡b.T43 1992:42 |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)32161095 |
| 100 | 1 | ⊔ | ‡aLarrabee, Tracy |
| 245 | 1 | 0 | ‡aEvidence for a satisfiability threshold for random 3CNF formulas / ‡cTracy Larrabee, Yumi Tsuji |
| 260 | ⊔ | ⊔ | ‡aSanta Cruz, Calif. : ‡bUniversity of California, Santa Cruz, Computer Research Laboratory, ‡c[1992] |
| 300 | ⊔ | ⊔ | ‡a9 p. : ‡bill. ; ‡c28 cm |
| 490 | 0 | ⊔ | ‡aTechnical report / University of California, Santa Cruz, Computer Research Laboratory ; ‡vUCSC-CRL-92-42 |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 0 | ‡aBoolean functions |
| 700 | 1 | ⊔ | ‡aTsuji, Yumi |
| 710 | 2 | ⊔ | ‡aUniversity of California, Santa Cruz. ‡bComputer Research Laboratory |
| CID | ⊔ | ⊔ | ‡a008321610 |
| DAT | 0 | ⊔ | ‡a20100120021836.0 ‡b20111212000000.0 |
| DAT | 1 | ⊔ | ‡a20120815100043.0 ‡b2024-07-11T17:54:50Z |
| DAT | 2 | ⊔ | ‡a2024-07-11T17:30:02Z |
| CAT | ⊔ | ⊔ | ‡aSDR-UCSC ‡dIII - MILLENIUM ‡lloader.pl-001-001 |
| FMT | ⊔ | ⊔ | ‡aBK |
| HOL | ⊔ | ⊔ | ‡0sdr-ucsc.b34633297 ‡auc1 ‡bSDR ‡cUCSC ‡puc1.32106020334923 ‡sUC ‡1.b34633297 |
| 974 | ⊔ | ⊔ | ‡bUC ‡cUCSC ‡d20240711 ‡sgoogle ‡uuc1.32106020334923 ‡y1992 ‡ric ‡qbib ‡tUS bib date1 >= 1930 |