scientific article
From MaRDI portal
Publication:3753522
zbMATH Open0612.68083MaRDI QIDQ3753522
Publication date: 1986
Title of this publication is not available (Why is that?)
extensional formalizationontological difference between goal and resultpurposeful behaviour formalization
Philosophical and critical aspects of logic and foundations (03A05) Artificial intelligence (68T99) General theory of mathematical modeling (00A71)
Recommendations
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Foundations for structuring behavioural specifications π π
- The intentionality of formal systems π π
- Views on Behaviour Protocols and Their Semantic Foundation π π
- Formalization of communication and behaviour in object-oriented analysis π π
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 Q3753522)