<--- Back to Details
First PageDocument Content
Predicate logic / Metalogic / Data modeling / Semantics of Business Vocabulary and Business Rules / Unified Modeling Language / Modal logic / Quantification / First-order logic / Deontic logic / Logic / Mathematical logic / Philosophical logic
Date: 2012-06-25 12:46:37
Predicate logic
Metalogic
Data modeling
Semantics of Business Vocabulary and Business Rules
Unified Modeling Language
Modal logic
Quantification
First-order logic
Deontic logic
Logic
Mathematical logic
Philosophical logic

LNAI[removed]Syntax and Semantics for Business Rules

Add to Reading List

Source URL: www.cs.nott.ac.uk

Download Document from Source Website

File Size: 188,31 KB

Share Document on Facebook

Similar Documents

Modelica - A Unified Object-Oriented Language for Physical Systems Modeling Version 3.2 Revision 2

DocID: 1vr0B - View Document

ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling TUTORIAL and RATIONALE Version 1.1 December 15, 1998 H. Elmqvist1,

DocID: 1vkNs - View Document

Modelica - A Unified Object-Oriented Language for Systems Modeling Version 3.3

DocID: 1vkgS - View Document

ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling Tutorial Version 1.4 December 15, 2000

DocID: 1v0CN - View Document

Modelica® - A Unified Object-Oriented Language for Systems Modeling Language Specification Version 3.4 April 10, 2017 Abstract

DocID: 1v03q - View Document