Search results

• Directory:WikiMobs.com
  ...r 2 million articles in english hundreds of thousands of articles in other languages the sheer scope of wikipedia dwarfs traditional encyclopedias in size of co
  30 KB (4,461 words) - 13:09, 16 September 2007
• User:Badmachine/wikipedia-en-2011-12-01
  [15:12] <Logan_> Windows is mostly in C-based languages. [15:17] <ToAruShiroiNeko> c based languages?
  85 KB (11,098 words) - 03:15, 24 January 2015
• User:Jon Awbrey/BIB
  ...ennis, J.B.]], and [[Joseph E. Qualitz|Qualitz, J.E.]] (1978), ''Machines, Languages, and Computation'', Prentice–Hall, Englewood Cliffs, NJ. See §6.4, "[[U ...duction to Tarskian relation theory and its applications to the relational programming paradigm.
  61 KB (7,563 words) - 18:26, 15 June 2010
• Directory:Jon Awbrey/BIB
  ...ennis, J.B.]], and [[Joseph E. Qualitz|Qualitz, J.E.]] (1978), ''Machines, Languages, and Computation'', Prentice–Hall, Englewood Cliffs, NJ. See §6.4, "[[U ...ion to Tarskian relation theory and its applications within the relational programming paradigm.
  61 KB (7,562 words) - 18:18, 18 March 2008
• Directory:Jon Awbrey/Papers/Cactus Language
  In this Subsection, I describe the syntax of a family of formal languages that I intend to use as a sentential calculus, and thus to interpret for th ...language'' <math>\mathfrak{C}</math> is actually a parameterized family of languages, consisting of one language <math>\mathfrak{C}(\mathfrak{P})</math> for eac
  211 KB (31,551 words) - 20:44, 2 August 2017
• Directory:Jon Awbrey/Papers/Theme One Program : Exposition
  ...' (PARCAE), and turning it to use in taming the syntax of two-level formal languages. [[Category:Declarative Programming]]
  94 KB (8,938 words) - 22:12, 9 December 2015
• User:Badmachine/wikipedia-en-2013-06-08
  00:10 -!- russavia [~russavia@CPE-120-145-86-152.lnse2.wel.bigpond.net.au] has joined #wikipedia-en 00:10 -!- russavia [~russavia@CPE-120-145-86-152.lnse2.wel.bigpond.net.au] has quit [Changing host]
  126 KB (18,486 words) - 23:46, 20 January 2015
• User:Jon Awbrey/Mathematical Notes
  # http://web.archive.org/web/20011203081944/http://graphs.memes.net/index.php3?request=displaypage&NodeID=3 | 1.3. Languages, Models, and Satisfaction
  567 KB (86,909 words) - 21:00, 6 December 2016
• Directory:Wikipedia
  The Philippines Court of Appeals has [http://newsinfo.inquirer.net/breakingnews/infotech/view/20100828-289290/Solgen-loses-case-for-relying-on ...e is to create and distribute a free international encyclopedia in as many languages as possible. [7]
  72 KB (11,335 words) - 01:01, 22 September 2011
• Boolean algebras canonically defined
  ...re represent for example the operation ''x''&and;(''y''&or;''z'') in these languages as <tt>''x''&(''y''|''z'')</tt>, having previously set <tt>''x''&nbsp;= 0xa
  46 KB (7,114 words) - 18:24, 2 October 2007
• User:Jon Awbrey/PROSPECT
  programming. I will attempt to embody this project in the form and languages equips the discussion of intelligent systems with an
  162 KB (25,941 words) - 13:28, 9 January 2008
• User:Badmachine/wikipedia-en-2011-12-26
  �03[00:02] * ChaoticGood (~ChaoticGo@75-27-241-138.lightspeed.psdnca.sbcglobal.net) has left #wikipedia-en �03[00:02] * MX80 (~MX80@cust56.253.117.74.dsl.g3telecom.net) has joined #wikipedia-en
  48 KB (6,778 words) - 02:57, 24 January 2015
• Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
  ...egrating the methods of differential geometry with the techniques of logic programming. I will attempt to embody this project in the form of computer-implemented ...and symbol systems that I favor. I find that this conception of signs and languages equips the discussion of intelligent systems with an indispensable handle o
  226 KB (34,541 words) - 14:20, 20 August 2016
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  ...retant sign domain will for the present be taken to be any one of the same languages, and so we may refer to any of them indifferently as the ''semiotic domain' ...Indeed, language reformers from time to time have proposed the design of languages that have just this property, but I think this is one of those places where
  168 KB (21,027 words) - 12:41, 6 August 2017
• User:Badmachine/wikipedia-en-2011-12-09
  �03[10:33] * IShadowed (~IShadowed@pool-98-117-23-26.hrbgpa.fios.verizon.net) has joined #wikipedia-en �15[10:34] * IShadowed (~IShadowed@pool-98-117-23-26.hrbgpa.fios.verizon.net) Quit (Changing host�)
  112 KB (15,229 words) - 03:09, 24 January 2015
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
  .... It has applications to the checking of type declarations in programming languages (AC's) and to the annotation of proofs in logical systems (PC's). ...he design and analysis of complex formal systems, for example, programming languages and theorem provers, just to indicate the cases of ultimate interest. But
  138 KB (23,322 words) - 14:50, 4 January 2015
• User:Badmachine/wikipedia-en-2013-05-21
  00:01 < Bsadowski1> http://www.explosm.net/comics/3164/ 00:22 -!- Mkdw [~Mkdw@d207-216-143-248.bchsia.telus.net] has joined #wikipedia-en
  271 KB (39,658 words) - 21:21, 23 January 2015
• User:Badmachine/wikipedia-en-2011-05-02
  May 02 00:25:10 * Leonard^Bloom_ (~Justin@c-76-115-39-183.hsd1.or.comcast.net) has joined #wikipedia-en May 02 00:43:10 * barts1a (~barts1a@CPE-121-215-45-105.lnse1.pie.bigpond.net.au) has joined #wikipedia-en
  285 KB (38,190 words) - 02:02, 25 January 2015
• User:Badmachine/wikipedia-en-2012-08-05
  ...iley_Huntley> I need help finding an IRC server other than webchat.freenode.net. Any suggestions? 00:00 < mareklug> http://freenode.net/
  212 KB (29,779 words) - 00:03, 24 January 2015
• Directory:The Wikipedia Point of View/Flavius Vanillus
  ...ith a commercial interest in a pseudoscientific product ([[Neurolinguistic programming]]) continued to edit and expand the article unhindered, in a way that now t === Neurolinguistic Programming ===
  209 KB (33,239 words) - 17:04, 25 September 2008

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)