LIX - PDFSEARCH.IO - Document Search Engine

LIX
Results: 507

#	Item
501	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:14 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Theoretical computer science Mathematics
502	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2005-11-18 08:35:44 Cross-platform software File sharing networks Distributed data storage Cryptographic software Freenet Anonymous P2P Onion routing Crowds I2P Software Computing Internet privacy
503	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-09 04:40:08 Bregman divergence Functional analysis Divergence Voronoi diagram Distribution Kullback–Leibler divergence Duality Closed and exact differential forms Constructible universe Geometry Statistics Mathematics
504	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:33 Predicate logic Logic in computer science Logic programming Programming paradigms ΛProlog Functional programming Unification Prolog Lambda calculus Mathematics Software engineering Mathematical logic
505	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-09-22 05:40:49 Global optimization Stochastic optimization Nonlinear programming Linear programming Combinatorial optimization Convex optimization Optimization problem Relaxation Firefly algorithm Mathematical optimization Applied mathematics Mathematics
506	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-08-23 07:41:27 Model theory First-order logic Higher-order logic Logic programming Interpretation Type theory Structure Lambda calculus Well-formed formula Logic Mathematical logic Metalogic
507	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:32:52 Proof theory Model theory Logic in computer science Automated theorem proving Metalogic Curry–Howard correspondence Natural deduction Admissible rule Sequent calculus Logic Mathematical logic Mathematics