Symbol - PDFSEARCH.IO - Document Search Engine

Symbol
Results: 9617

#	Item
671	N. Kobayashi and B. C. Pierce (Eds): Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), LNCS Vol. 2215, pp. 219–242, 2001. c Springer-Verlag Berlin Heidelberg 2001 Nominal Logic: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2001-10-22 05:59:46 Model theory Automated theorem proving Logic programming First-order logic Predicate logic Symbol Substitution Constructible universe Interpretation
672	The complexity of positive first-order logic without equality Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. Barnaby Martin ´Equipe d Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:41 Functional analysis Lemmas Symbol FO IP Dual space Craig interpolation Model theory Linear temporal logic
673	{INSERT DATE} PD December 15, 2002 IEEE P1621/D December 15, 2002 IEEE P1621/D December 15, 2002 IEEE P1621/D December 15, 2002 IEEE P1621/D Add to Reading List Source URL: energy.lbl.gov Language: English - Date: 2002-12-15 20:38:23 Energy conservation IEEE standards Electric power Pictograms Power symbol Sleep mode Standby power Switch Power supply IEEE Standards Association USB Wake-on-LAN
674	Appendix to Chen et al., ICFPAppendix to Chen et al., Implicit self-adjusting computation for purely functional programs (ICFPIn Section A, we show that translation maps source types to corresponding target Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-09-08 07:51:15 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Computability theory Table of stars with Bayer designations Symbol
675	foap hupe sheg clar fimer porth grine mogly sote rigfap perd foy mabe heest loyike vaner cliss jern Add to Reading List Source URL: www.readingresource.net Language: English - Date: 2009-05-09 08:38:24 Copyright law Copyright symbol United States copyright law
676	Fill-in the blank to complete the Symbol sequence Level 10 Answer Key 2nd Edition JO Code Letter(s) of Symbol Add to Reading List Source URL: www.nawgj.org Language: English - Date: 2016-01-07 23:56:38 Binary arithmetic Hexadecimal Hexadecimal numeral system Chemical element
677	Superficially Substructural Types (Technical Appendix) Neelakantan R. Krishnaswami MPI-SWS Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-08-29 08:54:52 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Differential topology Symbol Table of stars with Bayer designations
678	661 Documenta Math. Rationality of Integral Cycles Alexander Vishik Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-06-21 15:52:41 Algebraic geometry Projective geometry Quadric Chow group Cobordism Motive Symbol Cohomology Differential forms on a Riemann surface
679	Superficially Substructural Types Neelakantan R. Krishnaswami Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-08-29 08:54:44 Symbol Constructible universe Measure theory Generalised Whitehead product Sigma-algebra
680	Geophysical Journal International Geophys. J. Int, 938–953 Advance Access publication 2016 February 10 GJI Seismology doi: gji/ggw057 Add to Reading List Source URL: www.giseis.alaska.edu Language: English - Date: 2016-04-05 14:43:46 Connection Symbol Constructible universe Differential geometry Riemann surfaces Differential forms Complex analysis Differential forms on a Riemann surface Ordinal arithmetic

UPDATE