scientific article; zbMATH DE number 5015278

zbMATH Open1093.68104MaRDI QIDQ3376796FDOQ3376796

Authors:

Publication date: 24 March 2006

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

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.

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)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal Models, Languages and Applications
• Abstract interpretation of dynamics of biological regulatory networks

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)