1![The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax, The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax,](https://www.pdfsearch.io/img/f6da83e58e88f08e55ef7ecd9d4ef0da.jpg) | Add to Reading ListSource URL: cervone.psu.eduLanguage: English - Date: 2015-11-18 09:12:46
|
---|
2![PML : A new proof assistant and deduction system Christophe Raffalli LAMA PML : A new proof assistant and deduction system Christophe Raffalli LAMA](https://www.pdfsearch.io/img/a48084933cf1626e4e7d431798f58a4d.jpg) | Add to Reading ListSource URL: www.lama.univ-savoie.frLanguage: English - Date: 2007-07-02 08:10:34
|
---|
3![TRANSFORMING MULTIPLE-RECORD DATA INTO SINGLE-RECORD FORMAT WHEN NUMBER OF VARIABLES IS LARGE. David Izrael, Abt Associates Inc., Cambridge, MA David Russo, Independent Consultant ABSTRACT In one large survey project eac TRANSFORMING MULTIPLE-RECORD DATA INTO SINGLE-RECORD FORMAT WHEN NUMBER OF VARIABLES IS LARGE. David Izrael, Abt Associates Inc., Cambridge, MA David Russo, Independent Consultant ABSTRACT In one large survey project eac](https://www.pdfsearch.io/img/dc8aaf8e060ece0370d94e9d7dda4612.jpg) | Add to Reading ListSource URL: www.ats.ucla.eduLanguage: English - Date: 2016-08-17 18:18:26
|
---|
4![From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium, From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium,](https://www.pdfsearch.io/img/72c2cc2d42a8ab3e9c7392ccf4c27e91.jpg) | Add to Reading ListSource URL: events.inf.ed.ac.ukLanguage: English - Date: 2012-10-10 03:52:03
|
---|
5![CARTOGRAPHIC GENERALIZATION IN A DIGITAL ENVIRONMENT: WHEN AND How To GENERALIZE K. Stuart Shea The Analytic Sciences Corporation (TASCSunset Hills Road Reston, Virginia 22090 CARTOGRAPHIC GENERALIZATION IN A DIGITAL ENVIRONMENT: WHEN AND How To GENERALIZE K. Stuart Shea The Analytic Sciences Corporation (TASCSunset Hills Road Reston, Virginia 22090](https://www.pdfsearch.io/img/2e705939fd47e114bc69429fa756d3b9.jpg) | Add to Reading ListSource URL: mapcontext.comLanguage: English - Date: 2008-08-30 00:41:41
|
---|
6![Variables Derived from the Student Questionnaire Population 3 User Guide for the TIMSS International Database Variables Derived from the Student Questionnaire Population 3 User Guide for the TIMSS International Database](https://www.pdfsearch.io/img/f64f4950ac187f735aa13f2b088438f8.jpg) | Add to Reading ListSource URL: pirls.bc.eduLanguage: English - Date: 2000-03-08 10:34:52
|
---|
7![Dynamic Inference of Abstract Types Philip J. Guo Jeff H. Perkins Stephen McCamant Dynamic Inference of Abstract Types Philip J. Guo Jeff H. Perkins Stephen McCamant](https://www.pdfsearch.io/img/ffcc4305bf409fc2eb25b2b6607c14c7.jpg) | Add to Reading ListSource URL: pgbovine.netLanguage: English - Date: 2014-01-03 23:24:44
|
---|
8![Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert](https://www.pdfsearch.io/img/aed6ac8500ddfd956b1373738c696304.jpg) | Add to Reading ListSource URL: st.inf.tu-dresden.deLanguage: English - Date: 2012-09-25 06:20:13
|
---|
9![Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu](https://www.pdfsearch.io/img/3e878ef9a237c8a27d969c2c31f3e253.jpg) | Add to Reading ListSource URL: www.seas.upenn.eduLanguage: English - Date: 2016-01-08 10:06:08
|
---|
10![TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany](https://www.pdfsearch.io/img/41eccabc163541e0756389d62a13aa58.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|