*Lisp - PDFSEARCH.IO - Document Search Engine

*Lisp
Results: 1687

#	Item
631	Scwm: An Extensible Constraint-Enabled Window Manager Greg J. Badros InfoSpace.com 2801 Alaskan Way, Suite 200 Seattle, WA 98121, USA [removed] Add to Reading List Source URL: www.jeffreynichols.com Language: English - Date: 2014-04-05 12:47:08 Graphical user interfaces Constraint programming Cassowary Scwm X window manager FVWM Emacs Lisp Emacs SCIP Software System software Computing
632	IPv6 & LISP The Intouchables“ ” or Ziemlich Add to Reading List Source URL: www.hznet.de Language: English - Date: 2014-06-11 08:36:15 Routing Internet Protocol Multihoming Internet standards IPv6 Locator/Identifier Separation Protocol IP address Classless Inter-Domain Routing Lisp Network architecture Internet Computing
633	Making Induction Manifest in Modular ACL2 ∗ Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Mathematical logic Holism ACL2 Formal methods Automated theorem proving Nqthm Structural induction Common Lisp Software engineering Computing Computer programming
634	1 CONCEPT FORMATION AND DECISION TREE INDUCTION USING THE GENETIC PROGRAMMING PARADIGM John R. Koza Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:18:23 Computing Genetic algorithms Applied mathematics Genetic programming Operations research Lisp programming language Lisp John Koza Fitness function Evolutionary algorithms Software engineering Mathematical optimization
635	Functional Programming and Theorem Proving for Undergraduates: A Progress Report Carl Eastlund Rex Page Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Automated theorem proving Lisp programming language Theoretical computer science Logic in computer science Formal methods ACL2 Formal verification Logic programming J Strother Moore Computing Software engineering Computer programming
636	GRAVE FLOWER SERVICE Do you have a relative or friend buried in a cemetery in Lithgow or South Bowenfels? Do you live at a place remote from Lithgow? Would you like to visit their grave and leave some flowers, but are Add to Reading List Source URL: www.lisp.com.au Language: English - Date: 2011-10-25 21:46:16 Cheque Grave Business Money Finance Lithgow New South Wales Death customs Cemetery
637	PDF Document Add to Reading List Source URL: www.genetic-programming.com Language: English Lisp programming language Software engineering Evolutionary algorithms Cybernetics Theoretical computer science Genetic programming Genetic algorithm Algorithm Lisp Computing Mathematical optimization Applied mathematics
638	Proof-Pattern Recognition and Lemma Discovery in ACL2? J´ onathan Heras1 , Ekaterina Komendantskaya1 , Moa Johansson2 , and Ewen Maclean3 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-14 09:26:50 Lisp programming language Functional languages Procedural programming languages ACL2 Formal methods Automated theorem proving First-order logic Recursion Lisp Computer programming Software engineering Computing
639	Seven Languages in Seven Weeks Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-03-27 11:34:51 Object-oriented programming Programming paradigms Io Prototype-based programming Reflection Lua Object Common Lisp Object System Clone Software engineering Computing Computer programming
640	Chez Scheme Version 7.0 Release Notes c 2005 Cadence Research Systems Copyright All Rights Reserved August[removed]Overview Add to Reading List Source URL: www.scheme.com Language: English - Date: 2007-12-31 15:25:19 Procedural programming languages Functional languages Lisp programming language Cross-platform software Control flow Scheme Eval Lisp ALGOL 68 Software engineering Computing Programming language theory

UPDATE