F-theory - PDFSEARCH.IO - Document Search Engine

F-theory
Results: 2982

#	Item
871	;; logic #t #f (and _expr.._) ;short circuit (or _expr.._) ;short circuit (not _expr_) Add to Reading List Source URL: ra3s.com Language: English Scheme Procedural programming languages Data types Cross-platform software String C Hygienic macro Main function Software engineering Computing Programming language theory
872	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Function Model theory Linear temporal logic Μ operator Logic Mathematics Mathematical logic
873	HABONIM DROR S o u t h e r n A f r i c a 31 March 2013 Add to Reading List Source URL: www.equaleducation.org.za Language: English - Date: 2013-04-22 10:28:20 Habonim Dror Programming language theory HaBonim Israel Conscription in the United States ALGOL 68 Software engineering Computing Zionist youth movements Labor Zionism Kibbutz Movement
874	SWAMI RAMANAND TEERTH MARATHWADA UNIVERSITY, NANDED. B.A./B. Sc. F.Y. MATHEMATICS SYLLABUS: SEMESTER SYSTEM WITH EFFECT FROM JUNE2009 SEMESTER: I Add to Reading List Source URL: www.srtmun.ac.in Language: English - Date: 2015-05-20 10:18:08 Matrix theory Matrices Matrix Rank Determinant Row equivalence Fundamental theorem of algebra Complex number Invertible matrix Algebra Mathematics Linear algebra
875	Introduction Solution Applications Conclusion Coalgebraic Semantics of Recursion on Circular Data Structures Baltasar Trancón y Widemann (Technische Universität Berlin) Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-15 16:28:53 Programming idioms Theoretical computer science Category theory Computability theory F-coalgebra Recursion Pointer C Computer programming Computing Software engineering
876	E ACBLwide I.F.G.#2 Thursday Afternoon May 13, 2010 Set 70343 Add to Reading List Source URL: www.acbl.org Language: English - Date: 2014-04-09 14:58:52 Symmetry Group theory Crystallography
877	Proc. Nat. Acad. Sci. USA Vol. 68, No. 7, pp, July 1971 Social Recovery by Isolation-Reared Monkeys HARRY F. HARLOW AND STEPHEN J. SUOMII Primate Laboratory and Regional Primate Research Center, University of Add to Reading List Source URL: www.pnas.org Language: English - Date: 2005-04-22 15:33:05 Behavior Attachment theory Harry Harlow Psychologists Animal testing Pit of despair Psychotherapy Biological basis of love Major depressive disorder Animal rights Psychology Mind
878	UNDAY, APRIL 2, 19Q5 •• 0, CAI 510P.EP aiNG FON "(ME vrA5FiNalOn posr Iljetlittsilringtontio5t Add to Reading List Source URL: jfk.hood.edu Language: English - Date: 2011-12-09 15:30:01 Crime Lee Harvey Oswald Assassination of John F. Kennedy JFK Central Intelligence Agency Warren Commission John F. Kennedy assassination conspiracy theories CIA Kennedy assassination conspiracy theory Film United States Marines United States
879	Scope and the Grammar of Choice Adrian Brasoveanu, Donka F. Farkas UC Santa Cruz 1 Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Predicate logic Model theory Quantification First-order logic Interpretation Independence-friendly logic Discourse representation theory Skolem normal form Well-formed formula Logic Mathematical logic Semantics
880	T H E R E Is N o S O F T W A R E K he Add to Reading List Source URL: classes.dma.ucla.edu Language: English - Date: 2014-10-12 21:29:55 Computability theory Turing machine Alan Turing Models of computation Algorithm Finite-state machine Computer Church–Turing thesis Computability Theoretical computer science Theory of computation Computer science

UPDATE