|
|
No match for theorem proving
Sorry, the term theorem proving is not in the computer dictionary. Check
the spelling and try removing suffixes like "-ing" and "-s".
Please send in a
definition so I can add it to the dictionary.
Why is this definition missing?
Try this search on OneLook / Google
Nearby terms:
The Network « THEO « theology « theory » theory change » The Real-Time Operating System Nucleus » There's More Than One Way To Do It
4-Channel Wireless Receiver &4 Color Cameras4-Channel Wireless Receiver &4 Color Cameras ** Four-Channel Wireless Receiver and 4 Color Cameras **Monitor anyone, anywhere with this Wireless Real-Time cameras and receiver. It features a receiver with 4 different channels, 200 meters effective range and A/V connections for four monitors. This system includes four miniature cameras that can be mounted anywhere. The perfect system for monitoring your home, office, or anywhere you desire. Just to connect the receiver to your TV and you're ready to go!General Features:- 4-channel wireless receiver- Miniature color video cameras- PAL/NTSC/SECAM AV system- PLL frequency control- -85 dB sensitivity- 200 m effective distance (656.16 ft, approximate)- 3 seconds auto change outputReceiving Frequency:- Channel 1: 1080 MHz- Channel 2: 1120 MHz- Channel 3: 1160 MHz- Channel 4: 1200 MHz Receiver Connectors:- Four (4) antenna connectors- Four (4) A/V connectors- DC-in 5VReceiver Dimensions:- 1.75 x 8 x 4.5-inches (H x W x D)Camera Dimensions:- 1.25 x 1.25 x 1.5-inches (H x W x D)Retail Package Includes:- Wireless Receiver- Four (4) Miniature cameras- Four (4) Camera power/9-Volt battery adapters- Four (4) antennas- User's Manual- Five (5) A/V cables- Four (4) Camera AC adapter (120V AC, 60Hz; 8V DC, 200mA)- Receiver AC adapter (100-240V, 50/60Hz, 0.25A) Compatibility/Requirements/Disclosures:** Requirements *** Video source with A/V connectors* Available power outlet More ...
Powered Mini-Subwoofer 3-Pc Multimedia SpeakersPowered Mini-Subwoofer 3-Pc Multimedia Speakers ** Retail Packed 3-Piece Powered Mini-Subwoofer Stereo Speakers **Offer your customers a basic set of stereo speakers witha subwoofer!General Features:- Mini-Subwoofer with 2 Satellite Speakers- Magnetically shielded- 3-inch Subwoofer- 2x2.5-inch Drive (Per Satellite)- Subwoofer Frequency Response: 20Hz - 20KHz- 650 WATTS (PMPO)*- Power On/Off Button- Volume Control Knob- Power Input:120V AC 60Hz- Subwoofer: 5 x 4.25 x 6 inches (LxWxH)- Satellite Speakers: 4.75 x 2.75 x 6.25 inches (LxWxH) Compatibility/Requirements/Disclosures:** Requirements *** Sound card or audio device with standard mini-DIN line out jack* Available power outlet** Disclosures *** PMPO (Peak Music Power Output) is an unreliable indicatorof true (RMS) wattage, so take this rating with a grain of salt More ...
OptoRite Double Layer 16x4 DVDRW (Beige/Black)OptoRite Double Layer 16x4 DVDRW (Beige/Black) ** OptoRite 16x8x4 DVDRW Double Layer Beige IDE Drive **Pick your media... DVD+R no problem! DVD-R, we can handle that! The new double layer DVD+R DL media. Now you can burn DVD+R/+RW/+R DL/-R/-RW discs, and CD-R/RW discs from one device. The Optorite DD1603 features to 16x DVD+R write speed, 8x DVD-R write speed and 4x DVD+R DL (double layer) write speed! This Optorite drive also will burn CD media. The 2 MB buffer and burn-proof technology help ensure an errorless writing session. It even includes a black faceplate so you match your black computer system.General Features: - Beige bezel (comes with black bezel that can be easily swapped out) - 2 MB buffer - Random Access Time DVD: 130ms ; CD: 100ms - UDMA/66 Write Speed: - DVD+R 16x - DVD-R 8x - DVD+R DL (DVD+R9 double layer) 4x- DVD+RW 4x - DVD-RW 4x- CD-R 40x - CD-RW 24x Read Speed: - DVD+R 12x - DVD+RW 8x - DVD-R 12x - DVD-RW 8x - CD-R 48x - CD-RW 40x - CD-DA 48x - DVD-ROM 16x (Single) ; 8x (Double) - CD-ROM 48x Writing Type: - DVD+R Incremental Write (Multi Session Support) - DVD+RW Random Write - DVD-R Disc at Once, Incremental Recording (Multi-Border Support) - DVD-RW Rigid Restricted Overwriting, Incremental Write - CD-R/RW Disc at Once, Session at Once, Track at Once, Packet Writing (Multi Session support) Support Media Type: - DVD-ROM, DVD single layer / Dual layer - DVD+R/RW - DVD-R/RW - DVD+R DL (double layer) - CD-DA - CD-ROM [Mode1, Mode2 (Form1/2)] - CD-ROM / XA - Mixed mode CD - CD-R/RW - CD Extra - CD-TEXT Support Formats: - DVD-ROM (UDF Bridge) - DVD-ROM (ISO 9660) - DVD-ROM (UDF) - DVD-VIDEO - DVD-VR Front Panel Features: - Headphone in jack - Volume Control Dial - Busy LED - Emergency Eject Hole - Play / Forward Button - Stop / Eject Button Rear Panel Features: - Digital audio connector - Analog audio connector - Device jumpers - IDE interface - 4-pin power connector Regulatory Approvals: - FCC - UL - CE - TUV Retail Box Includes: - OptoRite 16x8x4 DVDRW Double Layer IDE Drive - Nero OEM Suite/INCD 4/PowerDVD 5.0 CD - Sonic MyDVD - Interchangeable black faceplate - CD audio cable - Mounting screws - Installation guide Notes: - Model: DD1603 - UPC: 0 820171 000308- EAN: 4 710891 170305 Compatibility/Requirements/Disclosures:** Requirements *** Pentium III 800 MHz or better * Microsoft Windows 98SE/2000/ME/XP * 128 MB RAM * 750 MB available hard disk space (5GB recommendedfor video editing) * IDE controller * IDE cable * Available 5.25-inch drive bay * Available 4-pin power connector * Recordable blank media More ...
12-Bay Gaming ATX Window Case w/480W PS LED (Blk)12-Bay Gaming ATX Window Case w/480W PS LED (Blk) ** 12-Bay ATX Window Case ** EZ-Media G7 Thermo Display ATX Gaming Case delivers outstanding expandability and state-of-the-art cooling technology to gamers and extreme PC users. This case is decked out in a stylish, contemporary chassis with clear side panel and blue neon light on the front panel. The EZ-media G7 12-Bay gaming case features seven expansion slots, front USB ports. Innovative one-screw opening and installation makes maintenance easy. The EZ-Media G7 comes with a 480-watt power supply with silent 120mm fan and SATA connector. If you’ve been dreaming about taking your computing to extremes, the EZ-Media G7 was built to make your dreams come true. General Features:- Black and silver color- 12 bays- ATX case- One screw for easy opening- Side panel window w/Two (2) LED fans- Blue neon light on front panel- Power button- Digital temperature readout- Thermometer channel indicator & hard drive LED- Select 3-channel thermometer button- Up/down fan speed button- Two (2) front mounted USB portsDrive Bay Features:- Four (4) 5.25-inch external drive bays- Two (2) 3.5-inch external drive bay- Six (6) 3.5-inch internal drive baysExpansion Features:- Seven (7) punch-out expansion slotsSupported Form Factors:- ATX- Flex ATX- Micro ATXPower Supply Output:- 480-watt- +3.3V, 23A- +5V, 28A- +12V, 18A- -12V, 0.8A- -5V, 0.5A- +5Vsb, 2.0ACase Fan Support:- Two (2) 80 mm case fan at front - Two (2) 80 mm case fan on back- One (1) 80 mm case on topCase Dimensions:- 17.25 x 7.75 x 18.75-inches (H x W x D approximate)Retail Box Includes:- 12-Bay ATX Window Aluminum Case- Instructions- Screw pack - Power cordNotes:- Model: G7- UPC: 8 57657 00030 9 Compatibility/Requirements/Disclosures: ** Requirements *** Supported motherboard * Rest of the system * Available power outlet More ...
512MB DDR PC3200 200-Pin Laptop SODIMM Major/3rd512MB DDR PC3200 200-Pin Laptop SODIMM Major/3rd - 512MB DDR (Double Data Rate) DDR RAM- PC-3200- 200-pin - SODIMM (for laptop computers)- Brand New Compatibility/Requirements/Disclosures: ** Disclosures *** Picture is for representational purposes only More ...
Madden NFL 2004 Football PC Game (2-Disc Set)Madden NFL 2004 Football PC Game (2-Disc Set) ** Madden NFL 2004 Football PC Game **For the ultimate in football action on your PC, this Madden 2004 Football PC game offers features to please even the most die-hard football fan! It provides you with everything from - creating players, teams and custom playbooks to online tournaments!General Features:- Authentic NFL football simulation- EA Sports Talk- Snap and Create Championship caliber plays- Create players, teams and custom playbooks- Online tournaments- New owner modePackage Includes:- Madden NFL 2004 Football PC Game (2-discs set) Compatibility/Requirements/Disclosures:** Requirements *** Intel Pentium III or Athlon 700 MHz processors* Microsoft Windows 98/ME/2000/XP* 128 MB RAM (256 MB for XP)* 600 MB free hadr disk space* 32 MB w/Direct3D video card (DirectX 9.0 compatible)* 8x CD-ROM drive* DirectX 9.0 compatible sound card* Keyboard and mouse* 56 Kbps or faster Internet connection for multiplayer More ...
|
