Coloured Rippling: An Extension of a Theorem Proving Heuristic

Yoshida, Tetsuja; Bundy, Alan; Green, Ian; Walsh, Toby; Basin, David A.

Local TagsRelease HistoryDetailsSummary

Coloured Rippling: An Extension of a Theorem Proving Heuristic

Yoshida, T., Bundy, A., Green, I., Walsh, T., & Basin, D. A. (1994). Coloured Rippling: An Extension of a Theorem Proving Heuristic. In T. Cohn (Ed.), Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94) (pp. 85-89).?: Wiley.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD67-4 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD68-2

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Yoshida, Tetsuja, Author
Bundy, Alan¹, Author
Green, Ian, Author
Walsh, Toby¹, Author
Basin, David A.¹, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 1994

Publication Status: Issued

Pages: -

Publishing info: ? : Wiley

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519498
Other: Local-ID: C1256104005ECAFC-38316395E3ECAD73C1256144006248E5-Yoshida94

Degree: -

Event

show

hide

Title: Untitled Event

Place of Event: Amsterdam, Netherlands

Start-/End Date: 1994

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94)

Source Genre: Proceedings

Creator(s):
Cohn, Tony, Editor

Affiliations:
-

Publ. Info: ? : Wiley

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 85 - 89 Identifier: -