![Model theory / Formal languages / First-order logic / TRIZ / Well-formed formula / Mereology / Interpretation / Differential equation / Logic / Mathematical logic / Predicate logic Model theory / Formal languages / First-order logic / TRIZ / Well-formed formula / Mereology / Interpretation / Differential equation / Logic / Mathematical logic / Predicate logic](https://www.pdfsearch.io/img/a219f6aa334e294a7d72097500ae5617.jpg)
| Document Date: 2001-10-05 19:23:35 Open Document File Size: 161,83 KBShare Result on Facebook
City Minsk / Palo Alto / / Company Victor Martynov1 Publishing Systems / Hewlett-Packard Company / Clamp Clench Clinch Clap Impress Press / Martynov Hewlett-Packard Labs / HP / / Country Belarus / United Arab Emirates / United States / / / Facility European Humanity University / / IndustryTerm technology verbs / object-oriented technology / semantic tools / computer intellectual systems / achievement technology / semantic intellectual systems / / Organization USC / European Humanity University / / Person Igor Boyko / / / Position nail-head / / Product INTELLECTUAL SYSTEM / / ProvinceOrState California / / Technology achievement technology / object-oriented technology / artificial intelligence / /
SocialTag |