Programming Languages and Operational SemanticsMaribel Fernandez261 KčPoškozenáPoškozená3,3Zobrazit detail
Aristotle's Syllogistic Underlying Logic. His Model with his Proofs of Soundness and CompletenessGeorge BogerVyprodánoPohlídat
Non-commutative Algebras. Pseudo-BCK Algebras versus m-pseudo-BCK AlgebrasAfrodita IorgulescuVyprodánoPohlídat