Auflistung IFIG Research Report nach Autor "Buccafurri, Francesco"
Anzeige der Dokumente 1-1 von 1
-
Enhancing symbolic model checking by AI techniques
Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola (1997)Comparisons of different cellular devices and the investigation of their computing power can be made in terms of their capabilities to timeconstruct and timecompute functions. Timeconstruction means that a distinguished ...