A New Translation from ECTL∗ to SAT Andrzej Zbrzezny IMCS, Jan Długosz University in Cz˛estochowa, Al. Armii Krajowej 13 15, Cz˛estochowa, Poland. - Jan Długosz University - Document - PDFSEARCH.IO

First Page	Meta Content
	A New Translation from ECTL∗ to SAT Andrzej Zbrzezny IMCS, Jan Długosz University in Cz˛estochowa, Al. Armii Krajowej 13/15, Cz˛estochowa, Poland. Add to Reading List Document Date: 2011-09-01 11:05:34 Open Document File Size: 905,37 KB Share Result on Facebook

A New Translation from ECTL∗ to SAT Andrzej Zbrzezny IMCS, Jan Długosz University in Cz˛estochowa, Al. Armii Krajowej 13/15, Cz˛estochowa, Poland. Add to Reading List