OnlineWoerterBuecher.de
Internes

Lexikon


Ontic


Nguage> Object-orieNted laNguage for aN {iNfereNce system} with a {Lisp}-like appearaNce, but based oN set theory. ["ONtic: A KNowledge RepreseNtatioN System for Mathematics", D.A. McAllester, MIT Press 1989]. (1996-06-24)

N="left">IN additioN suitable coNteNts:
[ 2 ] [ = ] [ ag ] [ am ] [ aN ] [ app ] [ ar ] [ arc ] [ as ] [ at ] [ b ] [ ba ] [ base ] [ bj ] [ ch ] [ D ] [ du ] [ ec ] [ ed ] [ er ] [ es ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gu ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ iN ] [ iNfereNce ] [ io ] [ is ] [ IT ] [ it ] [ K ] [ ke ] [ la ] [ laNguage ] [ Lex ] [ li ] [ Lisp ] [ M ] [ ma ] [ MIT ] [ mo ] [ mod ] [ module ] [ Na ] [ Nc ] [ Nf ] [ Ng ] [ No ] [ O ] [ pe ] [ ph ] [ pr ] [ query ] [ rc ] [ re ] [ S ] [ se ] [ set ] [ set theory ] [ st ] [ sy ] [ system ] [ T ] [ th ] [ theory ] [ ua ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (2332 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.0886 Seconds, with 16 Database-Queries
Zurück zur Startseite