Structured testing in Sophus∗ Magne Haveraaen Enida Brkic Institutt for informatikk, Universitetet i Bergen

Source URL: www.nik.no

• Array data type
• Function
• Axiom
• Field
• Mathematics
• Data types
• Software

Old beds donated to Guyanese hospital burn unit -- November 08, [removed]http://www.oltca.com/axiom/DailyNews/2011/November/November08.html What is The Morning Report? Morning Report is an independently written and pro

Source URL: www.peoplecare.ca

• Americas
• International relations
• Guyana
• Republics
• Political geography

Informaãní zpravodaj spoleãnosti AXIOM TECH CAx/PLM technologie 8

Source URL: www.axiomtech.cz

DEEYAH PRESENTS IRANIAN WOMAN FUUSE MOUSIQI: WOMAN SERIES Many say that life entered the human body by the help of

Source URL: www.grappa.no

• Sepideh Raissadat
• Iranian music
• Mohammad-Reza Shajarian
• Axiom of Choice
• Persian traditional music
• Sepideh
• Music of Iran
• Parviz Meshkatian
• Deeyah
• Music
• Persian music
• Asia

Exploring the universe of mathematics L. De Mol Exploring the universe of mathematics. Computation, experimentation and exploration in

Source URL: logica.ugent.be

• Mathematics
• Philosophy of mathematics
• Axiom

This article was downloaded by: [Princeton University] On: 05 June 2012, At: 09:57 Publisher: Psychology Press Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mortimer House, 37-

Source URL: mentalmodels.princeton.edu

• Propositional calculus
• Grammar
• Semantics
• Logical connectives
• Model theory
• Negation
• Logic programming
• First-order logic
• Axiom
• Logic
• Mathematical logic
• Science

PHYSICS-ENHANCED L-SYSTEMS Hansrudi Noser1, Stephan Rudolph2, Peter Stucki1 1 Department of Informatics University of Zurich, Winterthurerstr. 190

Source URL: wscg.zcu.cz

• L-system
• Conceptual system
• Conceptual model
• Computer-aided design
• Axiom
• Differential equation
• Identifier
• Ethology
• PROPT
• Mathematics
• Software
• Fractals

The computer (as a medium) in (the philosophy of) mathematics L. De Mol The computer (as a medium) in (the philosophy of ) mathematics

Source URL: logica.ugent.be

• Mathematics
• Axiom
• Philosophy of science
• Logic
• Philosophy
• Mathematical logic
• Science
• Knowledge
• Philosophy of mathematics

On Formal Specification of a Proof Tool∗ R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT

Source URL: www.lemma-one.com

• First-order logic
• Model theory
• Predicate logic
• Axiom
• Zermelo set theory
• Function
• Well-formed formula
• Logic
• Mathematics
• Mathematical logic

AX1[removed]:34 Stránka 1 Informaãní zpravodaj spoleãnosti AXIOM TECH[removed]VáÏení ãtenáfii,

Source URL: www.axiomtech.cz