scientific article; zbMATH DE number 1950656

zbMATH Open1018.68720MaRDI QIDQ4413383FDOQ4413383

Authors: Jean-Luc Koning, Ivan Romero-Hernandez 

Publication date: 17 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2585/25850126.htm

Title of this publication is not available (Why is that?)

Recommendations

• Objects, Agents, and Features
• scientific article; zbMATH DE number 2080581
• scientific article; zbMATH DE number 1950658
• scientific article; zbMATH DE number 1951086
• scientific article; zbMATH DE number 1759742

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Artificial intelligence (68T99) Specification and verification (program logics, model checking, etc.) (68Q60)

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 Q4413383)