scientific article; zbMATH DE number 5015278

MaRDI QIDQ3376796zbMATH OpenFDO

Authors

Publication date 24 March 2006

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Formal Models, Languages and Applications
• scientific article; zbMATH DE number 795668
• scientific article; zbMATH DE number 2113572
• Formal methods: practical applications and foundations. Editorial
• Recent advances in formal languages and applications.
• scientific article; zbMATH DE number 1497767
• Formal languages and applications.

Cited in

(5)

• Abstract interpretation of dynamics of biological regulatory networks
• scientific article; zbMATH DE number 795668 (Why is no real title available?)
• scientific article; zbMATH DE number 139995 (Why is no real title available?)
• scientific article; zbMATH DE number 1909430 (Why is no real title available?)
• Formal Models, Languages and Applications

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