Wyniki wyszukiwania dla: Jesse Alama
Studia Logica > 2018 > 106 > 6 > 1163-1180
Lecture Notes in Computer Science > Intelligent Computer Mathematics > CICM Systems and Projects > 276-277
Lecture Notes in Computer Science > Mathematical Software – ICMS 2010 > Formal Proof (Invited) > 144-147
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Mathematical Knowledge Management 2011 > 149-163
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to MKM 2010 > 455-469
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Mathematical Knowledge Management 2011 > 133-148
Journal of Philosophical Logic > 2014 > 43 > 6 > 1065-1100
Formalized Mathematics > 2014 > 22 > 2 > 167-176
Journal of Automated Reasoning > 2014 > 52 > 2 > 191-213
Studia Logica > 2014 > 102 > 3 > 609-615
Journal of Automated Reasoning > 2013 > 50 > 2 > 123-133
Studies in Logic, Grammar and Rhetoric > 2009 > 18(31) > 9-23
Formalized Mathematics > 2008 > 16 > 1 > 7-17
Formalized Mathematics > 2008 > 16 > 1 > 1-5
Formalized Mathematics > 2007 > 15 > 3 > 137-142