scientific article; zbMATH DE number 1952779
zbMATH Open1022.68707MaRDI QIDQ4414241
Mirko Viroli, Giovanni Rimassa
Publication date: 23 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2577/25770111.htm
Title of this publication is not available (Why is that?)
Computing methodologies and applications (68U99) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General topics in artificial intelligence (68T01)
Related Items (5)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4414241)