[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9716 ||
- 作者Alboul, Lyuba; Damian, Dana; Aitken, Jonathan M.
- 文件大小65176.43KB
- 发表时间2016
- DOI10.1007/978-3-319-40379-3
EditorialCarnielli, Walter Alexandre; Coniglio, Marcelo Esteban; D'Ottaviano, Itala Maria Loffredo · Logic Journal of IGPL · 2004
[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 ||Carnielli, Walter; Coniglio, Marcelo Esteban · 2016
[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || Matrices and AlgebraizabilityCarnielli, Walter; Coniglio, Marcelo Esteban · 2016
[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || Contradiction and (in)ConsistencyCarnielli, Walter; Coniglio, Marcelo Esteban · 2016
[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || Some Extensions of mbCCarnielli, Walter; Coniglio, Marcelo Esteban · 2016
[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || First-Order LFIsCarnielli, Walter; Coniglio, Marcelo Esteban · 2016
[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || LFIs Based on Other LogicsCarnielli, Walter; Coniglio, Marcelo Esteban · 2016