scientific article

From MaRDI portal

Publication:3780495

Jump to:navigation, search

zbMath0639.68104MaRDI QIDQ3780495

Paulo A. S. Veloso

Publication date: 1988

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

zbMATH Keywords

problem solving specification theory model axioms interpretation of theories

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Constructing specification morphisms

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3780495&oldid=17334770"