scientific article; zbMATH DE number 1538016

zbMath0965.68094MaRDI QIDQ4518871

Alessandro Coglio, José Meseguer, Fausto Giunchiglia, Carolyn L. Talcott

Publication date: 6 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

heterogeneous reasoning systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Unnamed Item ⋮ The control layer in open mechanized reasoning systems: Annotations and tactics

Uses Software

• OMRS
• PVS
• HOL
• Nuprl

This page was built for publication: