@InProceedings{Szajna:1992,
author
=
"J.Szajna",
title
=
"Wykorzystanie programowania logicznego do automatyzacji przekształcania wyrażeń logicznych",
booktitle
=
"Mikroprocesory - dydaktyka i zastosowania XII seminarium",
address
=
"Zielona Góra, Polska",
publisher
=
"Zielona Góra [brak wydawcy] ",
volume
=
"Metrologia i Systemy Pomiarowe ; nr 13",
pages
=
"39--43",
year
=
"1992",
}