(P-: A pure type system for first order loginc with automated theorem proving

M.G.J. Franssen

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of Publicationonbekend
PublisherCapaciteitsgroep Wiskunde
Number of pages35
Publication statusPublished - 1997

Publication series

NameMemorandum COSOR
Volume97/15

Cite this

Franssen, M. G. J. (1997). (P-: A pure type system for first order loginc with automated theorem proving. (Memorandum COSOR; Vol. 97/15). onbekend: Capaciteitsgroep Wiskunde.
Franssen, M.G.J. / (P-: A pure type system for first order loginc with automated theorem proving. onbekend : Capaciteitsgroep Wiskunde, 1997. 35 p. (Memorandum COSOR).
@book{a15d06b9e179496fac4723ecef1c854f,
title = "(P-: A pure type system for first order loginc with automated theorem proving",
author = "M.G.J. Franssen",
year = "1997",
language = "English",
series = "Memorandum COSOR",
publisher = "Capaciteitsgroep Wiskunde",

}

Franssen, MGJ 1997, (P-: A pure type system for first order loginc with automated theorem proving. Memorandum COSOR, vol. 97/15, Capaciteitsgroep Wiskunde, onbekend.

(P-: A pure type system for first order loginc with automated theorem proving. / Franssen, M.G.J.

onbekend : Capaciteitsgroep Wiskunde, 1997. 35 p. (Memorandum COSOR; Vol. 97/15).

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - (P-: A pure type system for first order loginc with automated theorem proving

AU - Franssen, M.G.J.

PY - 1997

Y1 - 1997

M3 - Report

T3 - Memorandum COSOR

BT - (P-: A pure type system for first order loginc with automated theorem proving

PB - Capaciteitsgroep Wiskunde

CY - onbekend

ER -

Franssen MGJ. (P-: A pure type system for first order loginc with automated theorem proving. onbekend: Capaciteitsgroep Wiskunde, 1997. 35 p. (Memorandum COSOR).