MATEC Web of Conferences

System for automatic generation of logical formulas

Radosław Klimek, Katarzyna Grobler-Dębska and Edyta Kucharska

MATEC Web Conf., 252 (2019) 03005

Published online: 14 January 2019

DOI: 10.1051/matecconf/201925203005

Radosław Klimek

Katarzyna Grobler-Dębska

Edyta Kucharska

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)