A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2

Source URL: www.multimedialibrary.com

• Functions and mappings
• Function
• Axiom schema of replacement
• First-order logic
• Equivalence relation
• Model theory
• Μ operator
• Primitive recursive function
• Mathematics
• Mathematical logic
• Logic

Tech．Rep。Meteoro1．Res．Inst．No．．Description of the Model 2．1 Governing equations    The model is based on the primitive equations formulated in spherical coor

Source URL: www.mri-jma.go.jp

HookScout: Proactive Binary-Centric Hook Detection Heng Yin1 , Pongsin Poosankam2,3, Steve Hanna2 , and Dawn Song2 1 3

Source URL: bitblaze.cs.berkeley.edu

• Data types
• Primitive types
• Subroutines
• C++
• Linux kernel
• Pointer
• Architecture of Windows NT
• C
• Hooking
• Computing
• Software engineering
• Computer programming

Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics Mart´ın Escard´ o University of Birmingham, UK

Source URL: www.cs.bham.ac.uk

• Computability theory
• Function
• Primitive recursive function
• Principia Mathematica
• Knaster–Tarski theorem
• Mathematics
• Functions and mappings
• Mathematical logic

CS 61B Reader #1 Assorted Materials on Java Paul N. Hilfinger University of California, Berkeley

Source URL: inst.eecs.berkeley.edu

• Cross-platform software
• Data types
• Procedural programming languages
• Primitive types
• Type theory
• Programming language
• C
• Generic programming
• Pointer
• Software engineering
• Computing
• Computer programming

Geosci. Model Dev., 2, 1–11, 2009 www.geosci-model-dev.net/ © Author(sThis work is distributed under the Creative Commons Attribution 3.0 License. Geoscientific

Source URL: www.geosci-model-dev.net

• Object-oriented programming
• Procedural programming languages
• Array programming languages
• Cross-platform software
• Primitive types
• Fortran
• Python syntax and semantics
• Python
• NetCDF
• Computing
• Software engineering
• Computer programming

LFMTPNominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science

Source URL: www.seas.upenn.edu

• Lambda calculus
• Theory of computation
• Computability theory
• Functions and mappings
• Logic in computer science
• Combinatory logic
• Function
• Primitive recursive function
• De Bruijn index
• Mathematics
• Theoretical computer science
• Mathematical logic

Using FreeCAD Mark J. Norton Sept. 30, 2011 FreeCAD is a 3D graphics application design to support computer aided design(CAD). It allows parametric object creation and easy shaping of parts. However, the online document

Source URL: opensourceecology.org

• GUI widget
• Workbench
• Computer icon
• Geometric primitive
• Windows Explorer
• Features new to Windows Vista
• System software
• Graphical user interfaces
• Software

www.computing.me.uk Fortran 77 : 2. Variables and Identifiers Programming languages like Fortran have to be able to apply general formulas or methods to new situations. In order to do this languages have ‘variables’

Source URL: www.computing.me.uk

• Procedural programming languages
• Data types
• Fortran
• Variable
• C++ classes
• C
• Primitive data type
• MAD
• ALGOL 68
• Computing
• Software engineering
• Computer programming

A mineralogical and chemical study of primitive achondrite NWA 6704 and its potential use for calibration of extinct radionuclide chronometers. Y. Hibiya1, T. Iizuka1, A. Yamaguchi2, 1Dept. Earth & Planet. Sci., The Univ

Source URL: www.nipr.ac.jp

• Nesosilicates
• Pyroxene
• Olivine
• Matter
• Natural resources
• Meteorite types
• Chondrite
• Crystallography