Classical and quantum satisfiability (2012)
Araújo, Anderson de; Finger, Marcelo 
Source: Proceedings. Conference titles: Workshop on Logical and Semantic Frameworks with Applications - EPTCS. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAÚJO, Anderson de e FINGER, Marcelo. Classical and quantum satisfiability. 2012, Anais.. Sydney: EPTCS, 2012. Disponível em: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf. Acesso em: 20 ago. 2024.APA
Araújo, A. de, & Finger, M. (2012). Classical and quantum satisfiability. In Proceedings. Sydney: EPTCS. Recuperado de http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdfNLM
Araújo A de, Finger M. Classical and quantum satisfiability [Internet]. Proceedings. 2012 ;[citado 2024 ago. 20 ] Available from: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdfVancouver
Araújo A de, Finger M. Classical and quantum satisfiability [Internet]. Proceedings. 2012 ;[citado 2024 ago. 20 ] Available from: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
