Automated theorem proving for the KARO-architecture

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	ESSLLI 99
Place of Publication	S.l.
Publisher	s.n.
Pages	1-13
Number of pages	13
Publication status	Published - 1999
Event	11th European Summer School on Logic, Language and Information, S.l. - S.l. Duration: 15 Aug 1999 → 15 Aug 1999

Name
Publisher	S.n.

Conference	11th European Summer School on Logic, Language and Information, S.l.
Period	15/08/99 → 15/08/99

Keywords

@inproceedings{31348ba0af9e45a1b4f6d90f17fb606a,

title = "Automated theorem proving for the KARO-architecture",

keywords = "ZX Int.klas.verslagjaar < 2002",

author = "JM Valk and JFM Tonino and A Bos and C Witteveen",

year = "1999",

language = "Undefined/Unknown",

publisher = "s.n.",

pages = "1--13",

booktitle = "ESSLLI 99",

note = "11th European Summer School on Logic, Language and Information, S.l. ; Conference date: 15-08-1999 Through 15-08-1999",

}

TY - GEN

T1 - Automated theorem proving for the KARO-architecture

AU - Valk, JM

AU - Tonino, JFM

AU - Bos, A

AU - Witteveen, C

PY - 1999

Y1 - 1999

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SP - 1

EP - 13

BT - ESSLLI 99

PB - s.n.

CY - S.l.

T2 - 11th European Summer School on Logic, Language and Information, S.l.

Y2 - 15 August 1999 through 15 August 1999

ER -