MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Yoshida, Tetsuja
Bundy, Alan
Green, Ian
Walsh, Toby
Basin, David A.		dblp
dblp
dblp
dblp
dblp
Editor(s):
Cohn, Tonydblp
BibTeX cite key*:
Yoshida94
Title, Booktitle
Title*:
Coloured Rippling: An Extension of a Theorem Proving Heuristic
Booktitle*:
Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Amsterdam, Netherlands
Language:
English
Event Date*
(no longer used):
1994
Organization:
Event Start Date:
15 May 2024
Event End Date:
15 May 2024
Publisher
Name*:
Wiley
URL:
Address*:
?
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
85-89
Year*:
1994
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPG publications list, university publications list, working group publication list



BibTeX Entry:
@INPROCEEDINGS{Yoshida94,
AUTHOR = {Yoshida, Tetsuja and Bundy, Alan and Green, Ian and Walsh, Toby and Basin, David A.},
 EDITOR = {Cohn, Tony},
 TITLE = {Coloured Rippling: An Extension of a Theorem Proving Heuristic},
 BOOKTITLE = {Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94)},
 PUBLISHER = {Wiley},
 YEAR = {1994},
 PAGES = {85--89},
 ADDRESS = {Amsterdam, Netherlands},
}

Entry last modified by Christine Kiesel, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Uwe Brahm		Created
01/14/1995 06:53:31 PM
Revisions
11.
10.
9.
8.
7.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Sergei Vorobyov/AG2/MPII/DE
Sergei Vorobyov/AG2/MPII/DE		Edit Dates
30.08.2001 10:11:02
30.08.2001 10:10:54
30.08.2001 10:10:42
26/02/96 05:23:53
28/02/95 13:09:24