|
|
proof
1. <logic> A finite sequence of well-formed formulas, F1,
F2, ... Fn, where each Fi either is an axiom, or follows by
some rule of inference from some of the previous F's, and Fn
is the statement being proved.
See also proof theory.
2. A left-associative natural language parser by Craig
R. Latta <latta@xcf.berkeley.edu>. Ported to Decstation
3100, Sun-4.
ftp://scam.berkeley.edu/pub/src/local/proof/.
E-mail: <proof@xcf.berkeley.edu>. Mailing list:
proof-requestf@xcf.berkeley.edu (Subject: add me).
(1994-11-29)
Try this search on OneLook / Google
Nearby terms:
pron « Pronet « Pronunciation « proof » PROOF/L » proof theory » propeller head
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
6-in-1 2 MP Digital Still/Video/MP3/Web (Gold)6-in-1 2 MP Digital Still/Video/MP3/Web (Gold) ** 6-in-1 Multifunction Camera **This 6-in-1 has the functions of integrated video recording, still image camera, MP3 player, Web Cam, voice recording, and USB storage, in one multifunction AV device. It features 2 MegaPixel resolution CMOS Sensor (up to 4MegaPixel software interpolated), 4x digital zoom, 1.5-inch TFT LCD display, and USB 1.1 interface. With 16 MB internal NAND flash memory, this camera lets you record video up to 7 minutes, store up to 82 digital still photos and up to 25 minutes voice recording time. Its versatile features coupled with simple operation provides this AV device with everything you need to take pictures, play music, and record great moments!General Features:- Gold design- DV-Focus on Video Recording- DSC-Focus on Still Image- MP3 player- Web Cam- Voice recording- USB storage- CMOS Sensor (2 MegaPixel resolution / software interpolation up to 4 MegaPixel) - 1.5-inch TFT LCD display w/280 x 220 color resolution- JPEG (EXIF ver 2.2) still image format- MPEG-4 (QVGA 320 x 240 pixels) motion picture format- Motion Picture Format: 320x240@30fps/640x480@10fps- Still picture/Self timer picture mode- Multi-pattern exposure control- Progam AE exposure control- Auto & White Balance brightness control- I2S Audio CODEC/MP3/ADPCM audio- Motion Picture: Can record video up to 7 minutes w/ 16 MB internal memory (CBR, 300k)- Digital Still Photo: Can store 82 photos w/ 16 MB internalmemory (1600 x 1200 @ 2MP)- Voice Record: Can record 25 minutes w/ 16 MB internal memory- Internal microphone and speaker- NTSC/PAL video out- USB 1.1 interface- 16 MB internal NAND flash memory- SD/MMC expansion slot (card not included)Lens Specifications:- f3.0/f=8.66mm- 4x digital zoom- Fix video lens focus- 1.5 m - infinity lens focus rangeUnit Dimensions:- 4.5 x 1.9 x 0.82-inches (H x W x D)- Weight: 110 g (3.88 oz.)Retail Package Includes:- 6-in-1 Multifunction AV Device - Quick Start Guide- User's Manual- VideoStudio 7 SE CD- Ulead Photo Express 4 SE- Ulead Phot Explorer 8 SE Basic- Ulead Cool 360- USB driver for Windows 98- Hand strap- Stereo earphones- A/V cable- USB cable- 3.7V, 780mAH Li-ion rechargeable battery- AC adapter (100-240V, 50/60Hz, 0.5A; 9V, 800mA)Notes:- SD/MMC memory cards are not included Compatibility/Requirements/Disclosures:** Requirements *** Windows 98/98SE/ME/2000/XP* Supported memory card* Available USB port* Available power outlet More ...
Alfred Hitchcock Presents: The Final CutAlfred Hitchcock Presents: The Final Cut They say money can't buy everything... even murder. Millionaire Robert Marvin-Jones, obsessed with the films of Hitchcock, is making a mystery movie of his very own - until his entire film crew vanishes from his estate. Can you uncover the sordid truth?Windows 95/98/2000/ME/XP More ...
Rockwell 33.6 Jumperable ISA ModemRockwell 33.6 Jumperable ISA Modem ** Rockwell 33.6 Jumperable ISA Modem **General Features:- ISA jumpered 33.6 modem- Rockwell chipset- New Retail Box More ...
3-Button PS/2 Backlit Optical Scroll Mouse (Red)3-Button PS/2 Backlit Optical Scroll Mouse (Red) ** 3-Button PS/2 Illuminating Optical Mouse **This 3-button light up mouse will be a nice addition toyour custom system. This mouse offers a PS/2 interface and the luxury of optical tracking. Cleaning your mouse is now a thing of the past!General Features:- Red and clear design- Scroll wheel lights up blue- Bottom and back light up red- PS2 interface- Optical tracking- 3-button layout- Scroll wheel acts as third button- Ergonomic design for left and right-handed users- Precise cursor movementRegulatory Approvals- FCC- CERetail Package Includes:- 3-Button USB light-up mouse Compatibility/Requirements/Disclosures:** Requirements *** Microsoft Windows 95/98/NT/2000/ME/XP * Available PS/2 mouse port More ...
100-Piece Paper CD Sleeve w Window - 2 for $6.99100-Piece Paper CD Sleeve w Window - 2 for $6.99 ** 100-Piece Paper CD Sleeve w Window - 2 for $6.99 **Protect CDs from dirt and scratches with this lightweight Paper CD Sleeve. It features a cellophane window for easy viewing and a 1-inch flap. It comes in a 100-Piece set (100 individual CD sleeves) and is a great choice for compact disc packaging. Get yours today!General Features:- Lightweight paper CD sleeve- 100-Piece- Cellophane window- 1-inch flap to secure CDPackage Includes:- 100-Piece Paper CD Sleeve 100-Piece Compatibility/Requirements/Disclosures:** Requirements *** The need for a CD sleeve More ...
6-Foot USB 1.1 A to B Cable (Blue)6-Foot USB 1.1 A to B Cable (Blue) ** 6-Foot USB 1.1 A to B Cable (Blue) **When the need for a USB 1.1 cable arisestrust on I Sell! This USB cable supports USB 1.1 specification and has A to B plug type connectors. Its 6-foot length comesin handy for those hard to reach areas!Stock up today!General Features:- USB 1.1 cable- 6-Foot Length- Blue color- A to B plug type connectorsRegulatory Approvals:- ULNotes:- Cable only Compatibility/Requirements/Disclosures:** Requirements *** Available USB port More ...
|
