@Misc{ Thomasf,
Author = "Thomas, Wolfgang",
date-added = "2014-05-14 05:42:06 +0000",
date-modified = "2014-05-14 05:42:22 +0000",
Title = "Francqui Chair 2012-2013: Logic and Automata: Fundamentals and Perspectives",
bdsk-url-1 = "http://informatique.umons.ac.be/tcs/Francqui/",
File = "Francqui Chair 2012-2013 Logic and Automata Fundamentals and Perspectives - Thomas (0) (0). - a - a - y"
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A