|
|
SLD resolution
<logic, programming> (Selected, Linear, Definite) Linear
resolution with a selection function for definite
sentences.
A definite sentence has exactly one positive literal in each
clause and this literal is selected to be resolved upon,
i.e. replaced in the goal clause by the conjunction of
negative literals which form the body of the clause.
[Why is SLD resolution important?]
(2003-12-04)
Try this search on OneLook / Google
Nearby terms:
slash « slashdot effect « slave tty « SLD resolution » sleep » SLIB » sliding-window
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Veritas Backup Exec 9.1 OEM (3 CDs)Veritas Backup Exec 9.1 OEM (3 CDs) ** Veritas Backup Exec 9.1 OEM (3 CDs) **VERITAS Backup Exec 9.1 for Windows Servers - the backup and restore solution providing certified, comprehensive, cost effective protection for Microsoft Windows server environments. Backup Exec 9.1 software increases application availability while simultaneously improving backup performance. The graphical user interface consolidates product operations within a browser-like view and offers an alternate true web-based administration console for Microsoft Windows 2003 Server and NAS appliances running Microsoft Storage Server 2003. Combined with a complete family of high performance agents and options, Backup Exec offers the ease of use and flexibility to quickly protect desktop, laptop and server data. Features Include:- Microsoft Support for Windows Servers - Full protection for the latest Microsoft Windows operating systems including Windows .NET Server 2003. - NEW! Faster Backup, Recovery and Management of Exchange Servers - Single Instance Storage of message attachments, incremental/differential mailbox backups and individual Public Folder Restore provide granularity and deliver faster backup and recovery of Exchange Servers. Automatic recreation of mailboxes and user accounts during a restore further streamline the recovery process –bringing data and users online faster. - NEW! Admin Plus Pack Option - Delivers improved management of distributed backup servers with the ability to push install Backup Exec core product, its options and Job Templates to remote servers –includes 24 new reports. - NEW! Web-based Graphical User Interface - Provides web based administration when installed on any Windows .NET Server or Windows-powered NAS appliance running the Microsoft Server Appliance kit. - NEW! Superior Management Capabilities - Enable administrators to test run a job before a regularly scheduled backup, confirm available tape capacity, track off-site media by vault location, designate the priority of one job over another and proactively set error handling rules to automate processes. - NEW! Faster Restores of Remote Windows Servers - Using Specified Backup Network and Remote Agent Accelerator Technology, administrators reduce LAN traffic by isolating backup and restore jobs to a dedicated sub-network. - NEW! Faster Disaster Recovery - Integration with Microsoft’s Automated Server Recovery (ASR) using the native ASR API’s increases efficiency and speeds disaster recovery operations on Windows XP or .NET Servers. - Plus many more additional features.... Notes:- Picture is for representational purposes only- OEM CD only More ...
Golden Books: Tootle The Train - Ages 3-6Golden Books: Tootle The Train - Ages 3-6 Your favorite Golden Book stories are now available on CD-ROM! Tootlecomes to life in this animated storybook. Fun and educational activities about shapes and numbers keep your child interested in reading and learning. Interactive and fun! Ages 3-6. Windows 95/98/ME/2000/XP and MAC More ...
Stereo 3.5mm Y-Adapter for Headphones SoundcardsStereo 3.5mm Y-Adapter for Headphones Soundcards ** Stereo 3.5mm (1/8 ) Y-Adapter **Have a need to split a signal? Have a headphone jack, but need two? Have an new set of computer speakers, but don't want to get rid of the old set? Here's your answer! Split the signal!!1 With this terrific 3.5mm (1.8-inch) Y-Adapter you get two outputs out of one!!! Get one (or more) now!General Features:- Accepts two standard 3.5mm (1/8 ) stereo phone plugs- Fits standard 3.5mm (1/8 ) stereo phone jack- Great for connecting two headphones to a single headphone jack- Terrific for adding speakers to a computer sound card- 6-inch length- Stereo Y-Adapter (note that many low priced splitters are mono only)Y-Adapter Splitter Cable Only Compatibility/Requirements/Disclosures:** Requirements *** Device with 3.5mm (1.8 ) Sound Output (such as headphone jack, sound card, etc) More ...
Intel PIII Xeon 700 MHz 100MHz 2MB 2.8v CPUIntel PIII Xeon 700 MHz 100MHz 2MB 2.8v CPU ** Intel PIII Xeon 700 MHz 100MHz 2MB 2.8v CPU **XEON POWER! This Intel Pentium III processor is designed for mid-range and higher server and workstations. General Features:- 700 MHz - 100 MHz system bus - 2 MB full speed L2 cache - Supports Multi-processing - 2.8v Input Voltage - Slot 2 CPU - Streaming SIMD Extensions - Extended Server Memory Architecture- S-Step: SL49RCompatibility/Requirements/Disclosures:** Requirements *** Motherboard that suports Xeon 700MHz 2MB 2.8v CPU's* Heatsink & Fan ** Disclosures *** Country of Origin may be China, Taiwan, Korea, USA, Malaysia More ...
PCI ATA/133 IDE-RAID w/Silicon Image 0680 ChipsetPCI ATA/133 IDE-RAID w/Silicon Image 0680 Chipset ** ATA/133 PCI RAID Controller Card **This Ultra ATA/133 IDE controller card with RAID is designed to offer a high performance, cost effective and reliable solution to the system upgrader. This card provides two IDE connectors that support ultra ATA/133 protocols. Each IDE connector can support a master/slave combination of any devices, including Ultra ATA/133, Ultra ATA/100, Ultra ATA/66, Ultra/33, EIDE/Fast ATA-2, IDE and ATAPI standards. A RAID array is a collection of drives that collectively act as a single storage system, which can tolerate the failure of a drive without losing data and can operate independently of each other. This allows thenecessary customization for different types of applications and the ease of implementation. This is packaged in a retail box.General Features:- Silicon Image Sil0680 ATA/133 IDE controller chip- 32-bit PCI Interface- Supports bus master DMA at 133Mbytes/sec PCI burst rate- Supports Max. IDE/ATA data transfer rate of 133 MB/sec- Two Ultra ATA Channels w/ 128 Bytes buffer per Channel- Supports up to four IDE/ATA Devices- Supports RAID 0, RAID 1, RAID0+1 modes- Fully backwards compatible with Ultra ATA/100, ATA/66,Ultra ATA/33, EIDE/Fast ATA-2, IDE and ATAPI devices- Compliant with PCI Specification, Rev. 2.2- Ultra ATA/133 Compatible specifications- PCI Plug & Play compliantRetail Package Includes:- PCI Card- Two UDMA/133 Cables- Drivers CD- Manual Compatibility/Requirements/Disclosures:** Requirements *** Windows 98/98SE/Me/NT 4.0/2000/XP* UDMA/133 Drive (Matching drives needed for RAID)* Available PCI Slot* CD-ROM Drive (To Install Software) More ...
Dell Optiplex PII 450MHz 128MB 6.4GB CD Zip250Dell Optiplex PII 450MHz 128MB 6.4GB CD Zip250 ** Dell Optiplex PII 450MHz 128MB 6.4GB CD Zip250 **- Intel Pentium II 450MHz Slot 1 processor- 128MB RAM- 6.4GB Hard Drive- CD-ROM Drive (speed may vary)- Iomega 250MB Zip Drive- 1.44MB Floppy Drive- On board ATi Mach64 AGP chipset w 8MB VRAM (15-pin VGA port)- On board audio (Line in, Line out, Mic. in)- Integrated 10/100 LAN- Two USB ports- Two PS/2 ports- Two Serial ports- One Paralel port- One RJ45 connector (3Com Lucent chipset NIC)- Includes Power Supply (115v-230v)Notes:- NO operating system, monitor, drivers, keyboard, mouse, etc..Compatibility/Requirements/Disclosures:** Requirements *** VGA monitor* Keyboard and mouse* Power cord* Available power outlet** Disclosures *** System is in very good condition* Has cosmetic blemishes, examples of which are (but not limited to):* Missing bezel covers, back plates, expansion slot covers* Scratches in case* Hairline crack in case More ...
|
