Between Logic and Heuristic
Edit Page
Report
Scan day: 07 February 2014 UTC
8
Virus safety - good
Description: Article by S. L. Katretchko, presented at the 20th World Congress of Philosophy.
20th WCP: Between Logic and Heuristic This article aims to construct a new type of logical calculi-logical heuristic calculus which contains the means of reducing complete search. Such a heuristic component of calculus is reached with the help of meta-level means. The principal means for reducing search is structural information about information about contrary literals of formula.
Size: 384 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | 20th WCP: Between Logic and Heuristic |
| Keywords: | |
| Description: | |
| IP-address: | 128.197.26.3 |
WHOIS Info
| NS | Name Servers: EDNS01.BU.EDU 128.197.253.182 EDNS02.BU.EDU 168.122.254.62 |
| WHOIS | |
| Date | activated: 25-Mar-1986 last updated: 21-May-2013 expires: 31-Jul-2014 |