Panagiotis Manolios

Books that list Panagiotis Manolios among their authors but not as the lead author: co-written works, collections and compilations.

Computer-aided reasoningMatt Kaufmann

Computer-aided reasoning

Matt Kaufmann · 2000