Fiora Pirri

Fiora Pirri

1 ספרים במאגר

ספרים

Logical foundations for cognitive agentsFiora Pirri

Logical foundations for cognitive agents

Fiora Pirri · 1999

ספרים משותפים ואוספים

ספרים שבהם Fiora Pirri מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Automated Reasoning With Analytic Tableaux and Related MethodsMarta Cialdea Mayer

Automated Reasoning With Analytic Tableaux and Related Methods

Marta Cialdea Mayer · 2003

Automated Reasoning with Analytic Tableaux and Related MethodsMarta Cialdea Mayer

Automated Reasoning with Analytic Tableaux and Related Methods

Marta Cialdea Mayer · 2006