Reasoning about Quantum Systems (2004)

by P Mateus, A Sernadas
Venue:Logics in Artificial Intelligence, Ninth European Conference, JELIA’04, issue of Lecture Notes in Artificial Intelligence