File:CompSciLogicUnsuccessfulTre.png
No higher resolution available.
CompSciLogicUnsuccessfulTre.png (334 × 190 pixels, file size: 3 KB, MIME type: image/png)
computer science logic: unsuccessful resolution refutation tree
Licensing[edit | edit source]
 |
This file was uploaded without any copyright or license information. Webaware believes that this file was created by the uploader and has by uploading it to Wikibooks, granted permission to copy, distribute and/or modify this file under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. Subject to disclaimers. To the uploader: Please clarify the copyright status of this file. If you indeed wished it to be released under the GFDL please replace {{GFDL-presumed}} with {{GFDL-self}} by editing the file description page. Alternatively you can choose a different license, or request that the file be deleted by using |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 00:43, 21 January 2005 | | 334 × 190 (3 KB) | Ehw (discuss | contribs) | Unsuccessful resolution refutation tree |
| 15:08, 20 January 2005 |  | 334 × 190 (4 KB) | Mshonle (discuss | contribs) | computer science logic: unsuccessful resolution refutation tree |
You cannot overwrite this file.
File usage
The following page uses this file:
