@InProceedings{Gaczyński:2012,
author
=
"A.Gaczyński and J.Tkacz and M.Doligalski",
title
=
"Realizacja systemu wnioskującego Gentzena z wykorzystaniem RDBMS - IBM DB2",
booktitle
=
"Informatyka - sztuka czy rzemiosło - KNWS '12 : warsztaty szkoleniowe Instytutu Informatyki i Elektroniki 9 konferencja naukowa",
address
=
"Przylep k. Zielonej Góry, Polska",
publisher
=
"[Zielona Góra] [brak wydawcy] ",
pages
=
"[2] CD-ROM",
year
=
"2012",
}