scientific article; zbMATH DE number 1852171

zbMATH Open1002.68516MaRDI QIDQ4787249FDOQ4787249

César Muñoz, Ricky Wayne Butler, Victor A. Carreño, Gilles Dowek

Publication date: 9 January 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440403

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

Mathematics Subject Classification ID

Case-oriented studies in operations research (90B90) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cited In (3)

• Title not available (Why is that?)
• Conflict nets
• Title not available (Why is that?)

Uses Software

• MuPAD
• PVS

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