S. Kortik And U. SARANLI, "Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic," JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS , vol.96, no.2, pp.179-191, 2019
Kortik, S. And SARANLI, U. 2019. Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS , vol.96, no.2 , 179-191.
Kortik, S., & SARANLI, U., (2019). Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS , vol.96, no.2, 179-191.
Kortik, Sitar, And ULUÇ SARANLI. "Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic," JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS , vol.96, no.2, 179-191, 2019
Kortik, Sitar And SARANLI, ULUÇ. "Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic." JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS , vol.96, no.2, pp.179-191, 2019
Kortik, S. And SARANLI, U. (2019) . "Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic." JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS , vol.96, no.2, pp.179-191.
@article{article, author={Sitar Kortik And author={ULUÇ SARANLI}, title={Robotic Task Planning Using a Backchaining Theorem Prover for Multiplicative Exponential First-Order Linear Logic}, journal={JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS}, year=2019, pages={179-191} }