ISI - PDFSEARCH.IO - Document Search Engine

ISI
Results: 2205

#	Item
951	Section 4.4 Report Data Files Layout Report Data File Layout MONTHLY ISI COUNTERPARTY LIST This file contains the data information in the Monthly ISI Counterparty List. The record length is 40 Add to Reading List Source URL: www.hkex.com.hk Language: English - Date: 2010-01-26 03:17:03 Contract law Counterparty Repurchase agreement
952	How to write and publish a scientific paper: A "cookbook" for authors from ISI Press Add to Reading List Source URL: www.garfield.library.upenn.edu Language: English - Date: 2003-04-16 16:42:46 Academic publishing Knowledge Bibliography Information science Scientific literature Scientific journal Book Science Council of Science Editors Technical communication Publishing Academia
953	Background Description Logic Systems U S C Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-06-12 17:41:43 Health Mononegavirales Philosophy of mathematics Philosophical logic Rabies Is-a Modal logic Description logic Classifier Logic Science Non-classical logic
954	Loom Tutorial For Loom Release 2.1 Release Date: May 17, 1995 Add to Reading List Source URL: www.isi.edu Language: English - Date: 2001-02-16 19:09:10 Lisp programming language LOOM Ontology Knowledge representation and reasoning Shed Lisp Programming language Common Lisp Object System Expert system Computing Software engineering Computer programming
955	Section 4.3 Report Description ISI ACTIVITY REPORT Report ID Add to Reading List Source URL: www.hkex.com.hk Language: English - Date: 2011-10-07 00:11:30 Financial system Securities Inter-Services Intelligence Military of Pakistan Repurchase agreement Futures contract Clearing Short Financial economics Finance Financial markets
956	LOOM Users Guide Version 1.4 ISX Corporation Add to Reading List Source URL: www.isi.edu Language: English - Date: 2001-02-16 19:09:25 Ontology LOOM Reasoning Knowledge representation and reasoning Programming language Software development methodology Algorithm Computer programming Logic programming Software Computing Programming paradigms
957	Report G8 - ISI Batch Input Control Report Add to Reading List Source URL: www.hkex.com.hk Language: Romanian - Date: 2009-12-03 01:59:39
958	Cosmos: A System for Supporting Engineering Negotiation William Mark Jon Dukes-Schlossberg Lockheed Artificial Intelligence Center 3251 Hanover St. O[removed]B/254F Add to Reading List Source URL: www.isi.edu Language: English - Date: 2000-03-31 18:41:57 Philosophy of science Ethology Knowledge Query and Manipulation Language Simulation Visualization Knowledge Science Engineering Ethics
959	Procedural Programming Outline of talk: •  Deductive Kb with Multiple Paradigms •  Production rules •  Methods •  Lisp-to-Loom Interface Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-06-12 17:20:29 Functional languages Lisp programming language LOOM Ontology Lisp D Programming paradigms Object-oriented programming Common Lisp Software engineering Computing Computer programming
960	Commitment-Based Software Development 1 William Mark Sherman Tyler James McGuire Jon Schlossberg Information and Computing Sciences Lockheed Palo Alto Research Labs O[removed]B/254F 3251 Hanover Street Add to Reading List Source URL: www.isi.edu Language: English - Date: 2000-03-31 18:41:47 Holism Modularity Software design Communications protocol EAR Module Computing Data Information

UPDATE