Lean - PDFSEARCH.IO - Document Search Engine

Lean
Results: 4936

#	Item
1	Kompaktflyer 07: Die Lean Start-Up Methode 3/3 Add to Reading List Source URL: gemeinsam-digital.de Language: German - Date: 2017-08-07 05:23:20
2	An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Computing Software engineering Computer programming Functional programming Subroutines Computability theory Theoretical computer science Computer algebra systems Pattern matching Wolfram Mathematica Expr Anonymous function
3	TAP : Lean Tableau-based Deduction? lean Bernhard Beckert & Joachim Posegga Universitat Karlsruhe Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-07-22 17:48:02 Software engineering Computer programming Computing Prolog
4	PDF Document Add to Reading List Source URL: www.lean-hsg.de - Date: 2016-10-13 06:22:46
5	PDF Document Add to Reading List Source URL: www.lean.org.za - Date: 2018-04-18 10:29:06
6	DOCX Document Add to Reading List Source URL: www.lean.org.za - Date: 2018-03-20 09:31:32
7	DOCX Document Add to Reading List Source URL: www.lean.org.za - Date: 2018-02-18 04:06:47
8	PDF Document Add to Reading List Source URL: www.lean-hsg.de - Date: 2017-05-12 08:07:23
9	DOCX Document Add to Reading List Source URL: www.lean.org.za - Date: 2018-02-18 04:06:31
10	Love Those LENTILS! Chunky Lentil Soup 1 pound lean ground beef 1 cup dried lentils, rinsed 1 cup diced carrots 1 cup chopped celery Add to Reading List Source URL: www.ellis.k-state.edu Language: English - Date: 2018-06-03 04:01:11