|
|
proof theory
<logic> The branch of logic describing procedures for
combining logical statements to show, by a series of
truth-preserving transformations, that one statement is a
consequence of some other statement or group of statements.
(1994-10-31)
Try this search on OneLook / Google
Nearby terms:
Pronunciation « proof « PROOF/L « proof theory » propeller head » propeller key » Proposal Writing
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
12-in-1 USB 2.0 Card Reader (Translucent)12-in-1 USB 2.0 Card Reader (Translucent) ** 12-in-1 USB 2.0 Card Reader **Share data from digital cameras, MP3 players and other computers! This 12-in-1 Card Reader supports CompactFlash, Microdrive, SmartMemory, Memory Stick, MultiMedia, Secure Digital cards, and more. With fast USB 2.0 data transfers, anyone can transfer data from any device!General Features:- Translucent - USB 2.0 interface (backwards compatible)- Supports 12 types of memory cards- LED indicator light- Bus powered- Plug and Play- Hot swappable- Compact design- Supported Media:- CompactFlash Type I- CompactFlash Type II- Microdrive- Multimedia- SmartMemory- Memory Stick- Memory Stick Pro- Memory Stick Duo- Memory Stick Pro Duo- MS ROM- Secure Digital- SD MiniUnit Dimensions:- 0.75 x 3.5 x 2-inches (H x W x D)Retail Blister Pack Includes:- 12-in-1 USB 2.0 Card Reader - Driver CD- USB cable Compatibility/Requirements/Disclosures: ** Requirements *** PC Requirements:* Microsoft Windows 98SE/2000/ME/XP* Available USB port* CD-ROM drive* Supported media* Macintosh Requirements:* Mac OS 8.6 or higher* Available USB port* CD-ROM drive* Supported media More ...
Chaintech GeForce SE6200 128MB 16x PCI Express VCDChaintech GeForce SE6200 128MB 16x PCI Express VCD ** GeForce SE6200 128MB GDDR3 16x PCI Express Video Card **Get on-board with the newest of bus technologies! PCI Express is finally here!!! Experience the ultimate in gaming, 3D art programs and even desktop work with the GeForce SE6200 128 MB GDDR3 16x PCI Express Video Card! Features such as the Nvidia GeForce SE6200 GPU with second-generation UltraShadowII technology for the acceleration of complex shadows in immersive 3D games and applications and 128 MB of GDDR3 memory makes this card the ideal choicefor gamers and high-quality video card enthusiasts!General Features:- Nvidia GeForce 6200 GPU- 16x PCI Express interface - 128 MB GDDR3 memory- 64-bit memory interface- 0.11 micron- 400 MHz RAMDAC- CineFX 3.0 Shading Architecture - 64-Bit Texture Filtering and Blending- Intellisample 3.0 Technology- UltraShadow II Technology - Advanced Video and Display Functionality - Advanced Display Functionality - Advanced Engineering - Nvidia Digital Vibrance Control (DVC) 3.0- Complete DirectX support, including the latestversion of Microsoft DirectX 9.0 Shader Model 3.0 - Full OpenGL support, including OpenGL 1.5- Up to 3x Geometry performanceConnectors:- 15-pin VGA - DVI- S-VideoRegulatory Approvals:- FCC- CE- BSMI Retail Box Includes:- GeForce SE6200 16x PCI Express Video Card- User Manual- VGA driver on CD- InterVideo WinDVD Creator- S-Video cable Compatibility/Requirements/Disclosures: ** Requirements *** Intel Pentium III, AMD Duron or Athlon class processor* Windows 95 OSR2/98/98SE/ME/NT 4.0/2000/XP* 128 MB of RAM* 10 MB available hard disk space (50 MB for full installation)* Available AGP slot* CD-ROM Drive (to load driver) More ...
512MB USB MP3 Pocket Digital Music Player (Blue)512MB USB MP3 Pocket Digital Music Player (Blue) ** 512MB USB MP3 Pocket Digital Music Player (Blue) **This USB pocket MP3 player features 512 MBflash memory and supports a variety of musicformats such as MP3/WMA and WAV files. Withits USB interface, exquisite design, andsmall form factor you can take it anywhere!General Features:- Exquisite Blue color- 512 MB Flash memory- USB interface- LCD display- Multiple Repeat Mode- FM Function- Built-in microphoneSupported Music Formats:- MP1- MP2- MP3- WMA- WMV- ASF- WAVSeven (7) Preset EQ:- Normal- Rock- Pop- Classic- Soft- Jazz- DBBRetail Package Includes:- 512 MB USB MP3 Pocket Digital Music Player (Blue)- USB cable- Earbuds- Driver on 3-inch CD- User Manual Compatibility/Requirements/Disclosures: ** Requirements *** Windows 98SE/ME/2000/XP* Available USB port* CD-ROM drive More ...
AMD Athlon XP 2400+ 266MHz 256KB Socket A CPUAMD Athlon XP 2400+ 266MHz 256KB Socket A CPU ** AMD Athlon XP 2400+ 2.0GHz 256KB 266MHzSocket A CPU **-- General Features:- AMD Athlon XP 2400+ 2000MHz (2.0GHz) CPU- Model 8 Athlon (Thoroughbred)- More instructions per clock cycle!- OPGA Package Type (462-pin Socket A)- Max Front Side Bus of 266MHz- 256KB L2 Cache- QuantiSpeed architecture- 1.65v operating voltage- AMD-AXDA2400DKV3C- CPU Only Compatibility/Requirements/Disclosures:* Motherboard that supports an AMD XP 2400+ 2.0GHZ Socket A CPU* Heatsink & Fan More ...
Intel Celeron 333MHz 66MHz 128KB Slot 1 CPUIntel Celeron 333MHz 66MHz 128KB Slot 1 CPU ** Intel Celeron 333MHz 66MHz 128KB Slot 1 CPU **Get great performance for your personal computing and the quality and reliability you expect from the Intel Inside brand with Intel Celeron processors for desktop PCs.General Features:- Intel Celeron 333MHz- Slot 1 SEC- 128KB L2 cache- MMX instructions set- CPU Only (Heatsink and Fan NOT Included)Compatibility/Requirements/Disclosures:* Motherboard that supports Celeron 333MHz CPUs* Celeron Slot 1 SEC Heatsink & Fan More ...
Intel 536EP 56K PCI V.92/90 Modem with VoiceIntel 536EP 56K PCI V.92/90 Modem with Voice ** Intel 536EP 56K PCI V.92/90 Modem with Voice **General Features:- INTEL 536EP CHIPSET - Model : AMI-IA56 - 56K PCI V.92/90 With VOICE - Data/Fax/Voice - PCI - OS Compatibility: Win 95/98/ME/NT 4.0/2K/XP/LINUX - Brand new retail boxed More ...
|
