Yazar
Fiora Pirri
4 cilt bulundu.
Cilt sonuçları
Logical foundations for cognitive agents
Fiora Pirri · Island Press
405 sayfa · 1999
Artificial intelligence / Computer logic / Redeneren / Kennisrepresentatie / Symbolische logica
Automated Reasoning With Analytic Tableaux and Related Methods
Marta Cialdea Mayer, Fiora Pirri · Springer
271 sayfa · 2003
Congresses / Automatic theorem proving / Artificial intelligence / productivity
Automated Reasoning with Analytic Tableaux and Related Methods
Marta Cialdea Mayer, Fiora Pirri · Springer London, Limited
Sayfa sayısı yok · 2006
Automatic theorem proving