Representatie van expressies in het verificatieprogramma VERA 79

Research output: Book/Report › Report › Popular

85 Downloads (Pure)

Original language	Dutch
Place of Publication	Eindhoven
Publisher	Technische Hogeschool Eindhoven
Number of pages	19
Publication status	Published - 1979

Name	Eindhoven University of Technology : Dept of Mathematics : memorandum
Volume	7915

Access to Document

@book{c0344083e88b4e97a430f305211e890e,

title = "Representatie van expressies in het verificatieprogramma VERA 79",

author = "\{Benthem Jutting, van\}, L.S. and R.M.A. Wieringa",

year = "1979",

language = "Nederlands",

series = "Eindhoven University of Technology : Dept of Mathematics : memorandum",

publisher = "Technische Hogeschool Eindhoven",

}

TY - BOOK

T1 - Representatie van expressies in het verificatieprogramma VERA 79

AU - Benthem Jutting, van, L.S.

AU - Wieringa, R.M.A.

PY - 1979

Y1 - 1979

M3 - Rapport

T3 - Eindhoven University of Technology : Dept of Mathematics : memorandum

BT - Representatie van expressies in het verificatieprogramma VERA 79

PB - Technische Hogeschool Eindhoven

CY - Eindhoven

ER -