Annals of Mathematics and Artificial Intelligence

Annals of Mathematics and Artificial Intelligence is a scholarly journal focusing on the application of mathematical methods to diverse areas of.

funge da
rivista che contiene
page_white_acrobatModel Checking Multi-agent systems with Logic Based Petri Nets (2007) — Tristan M. Behrens, Jurgen Dix